isEmpty
Dfa