Deterministic Finite Automaton (DFA)