[Deterministic Finite Automaton