Deterministic Finite State Automaton generator
