Dynamic Finite State Automaton