added DFA validation