start DFA implementation.