How to Design Deterministic Finite Automata (DFA)