Ops 0:0 f:1

Automaton A
States q0 q1
Final States q1
Transitions
f(q1) -> q1
0 -> q1

Automaton B
States q3 q4
Final States q4
Transitions
f(q3) -> q3
0 -> q3
