Ops a:0 i:0 b:1 h:1 g:1 j:2 f:4
Automaton f
States q0 q1 q2 q3
Final States q0 q1
Transitions
h(q3) -> q0
h(q3) -> q1
h(q3) -> q3
f(q3,q3,q0,q0) -> q2
f(q3,q2,q0,q0) -> q2
f(q3,q0,q0,q0) -> q2
f(q3,q1,q0,q0) -> q2
f(q3,q3,q0,q3) -> q2
f(q3,q2,q0,q3) -> q2
f(q3,q0,q0,q3) -> q2
f(q3,q1,q0,q3) -> q2
f(q3,q0,q3,q3) -> q2
f(q2,q0,q3,q3) -> q2
f(q0,q0,q3,q3) -> q2
f(q1,q0,q3,q3) -> q2
f(q3,q0,q3,q0) -> q2
f(q2,q0,q3,q0) -> q2
f(q0,q0,q3,q0) -> q2
f(q1,q0,q3,q0) -> q2
f(q0,q3,q3,q3) -> q2
f(q0,q3,q2,q3) -> q2
f(q0,q3,q0,q3) -> q2
f(q0,q3,q1,q3) -> q2
f(q0,q3,q3,q0) -> q2
f(q0,q3,q2,q0) -> q2
f(q0,q3,q0,q0) -> q2
f(q0,q3,q1,q0) -> q2
j(q3,q3) -> q2
j(q3,q3) -> q1
j(q3,q3) -> q3
j(q2,q3) -> q2
j(q2,q3) -> q1
j(q2,q3) -> q3
j(q0,q3) -> q2
j(q0,q3) -> q1
j(q0,q3) -> q3
j(q1,q3) -> q2
j(q1,q3) -> q1
j(q1,q3) -> q3
h(q3) -> q2
g(q3) -> q2
f(q0,q0,q0,q3) -> q2
f(q0,q0,q0,q2) -> q2
f(q0,q0,q0,q0) -> q2
f(q0,q0,q0,q1) -> q2
f(q3,q3,q0,q2) -> q2
f(q3,q2,q0,q2) -> q2
f(q3,q0,q0,q2) -> q2
f(q3,q1,q0,q2) -> q2
f(q3,q0,q3,q2) -> q2
f(q2,q0,q3,q2) -> q2
f(q0,q0,q3,q2) -> q2
f(q1,q0,q3,q2) -> q2
f(q0,q3,q3,q2) -> q2
f(q0,q3,q2,q2) -> q2
f(q0,q3,q0,q2) -> q2
f(q0,q3,q1,q2) -> q2
f(q3,q3,q3,q3) -> q2
f(q3,q3,q3,q2) -> q2
f(q3,q3,q3,q0) -> q2
f(q3,q3,q3,q1) -> q2
g(q0) -> q2
h(q0) -> q2
j(q3,q0) -> q2
j(q3,q0) -> q0
j(q2,q0) -> q2
j(q2,q0) -> q0
j(q0,q0) -> q2
j(q0,q0) -> q0
j(q1,q0) -> q2
j(q1,q0) -> q0
b(q1) -> q1
b(q0) -> q1
f(q2,q2,q2,q2) -> q2
j(q2,q2) -> q2
b(q2) -> q2
h(q2) -> q2
g(q2) -> q2
a -> q2
i -> q2
b(q2) -> q3
a -> q0

