Deterministic Finite Automata Generator