Deterministic Finite Automata (DFA)