skeleton dfa added