add Deterministic Finite Automaton