dfa example problems