check in automaton.cpp for valid DFA