finals
Dfa