Write prototype DFA and DFA_State class