Token recognition in DFA