all dfa functionalities working properly

Double check to make sure all the DFA "validate" conditions are
satisfied!