Deterministic_Finite_Automaton