Incremental Construction of Finite-State Automata