start to work on DFA