Automata Theory Verification DFA,NFA,ENFA