Ops a:0
Automaton A
States q
Final States q
Transitions
a -> q


