class DFA created