Re(2): DFA