Deterministic_finite_automaton