dfa simple check