4.2 DFA