Ops a:0 b:0 f:2 g:2 h:1
Automaton F2
States F2 F1 G H T
Final States F2

Transitions
a -> T
b -> T
f(T,T) -> T
g(T,T) -> T
h(T) -> T
f(T,T) -> F1
g(H,F1) -> G
h(T) -> H
f(T,G) -> F2
f(F2,T) -> F2
f(F2,H) -> F2
f(F2,G) -> F2
f(F2,F1) -> F2
f(F2,F2) -> F2
g(F2,T) -> F2
g(F2,H) -> F2
g(F2,G) -> F2
g(F2,F1) -> F2
g(F2,F2) -> F2
f(T,F2) -> F2
f(H,F2) -> F2
f(G,F2) -> F2
f(F1,F2) -> F2
f(F2,F2) -> F2
g(T,F2) -> F2
g(H,F2) -> F2
g(G,F2) -> F2
g(F1,F2) -> F2
g(F2,F2) -> F2
h(F2) -> F2

Automaton "determinized-of-F2"
States q0 q1 q2 q3 q4 q5 q6 q7
Final States q0 q1 q2 q3

Transitions
a -> q7
b -> q7
f(q7,q7) -> q6
g(q7,q7) -> q7
h(q7) -> q5
f(q7,q5) -> q6
f(q7,q6) -> q6
f(q5,q7) -> q6
f(q5,q5) -> q6
f(q5,q6) -> q6
f(q6,q7) -> q6
f(q6,q5) -> q6
f(q6,q6) -> q6
g(q7,q5) -> q7
g(q7,q6) -> q7
g(q5,q7) -> q7
g(q5,q5) -> q7
g(q5,q6) -> q4
g(q6,q7) -> q7
g(q6,q5) -> q7
g(q6,q6) -> q7
h(q5) -> q5
h(q6) -> q5
f(q7,q4) -> q3
f(q5,q4) -> q3
f(q6,q4) -> q3
f(q4,q7) -> q6
f(q4,q5) -> q6
f(q4,q6) -> q6
f(q4,q4) -> q3
g(q7,q4) -> q7
g(q5,q4) -> q7
g(q6,q4) -> q7
g(q4,q7) -> q7
g(q4,q5) -> q7
g(q4,q6) -> q7
g(q4,q4) -> q7
h(q4) -> q5
f(q7,q3) -> q3
f(q5,q3) -> q3
f(q6,q3) -> q3
f(q4,q3) -> q3
f(q3,q7) -> q3
f(q3,q5) -> q3
f(q3,q6) -> q3
f(q3,q4) -> q3
f(q3,q3) -> q3
g(q7,q3) -> q2
g(q5,q3) -> q1
g(q6,q3) -> q2
g(q4,q3) -> q2
g(q3,q7) -> q2
g(q3,q5) -> q2
g(q3,q6) -> q2
g(q3,q4) -> q2
g(q3,q3) -> q2
h(q3) -> q0
f(q7,q0) -> q3
f(q7,q2) -> q3
f(q7,q1) -> q3
f(q5,q0) -> q3
f(q5,q2) -> q3
f(q5,q1) -> q3
f(q6,q0) -> q3
f(q6,q2) -> q3
f(q6,q1) -> q3
f(q4,q0) -> q3
f(q4,q2) -> q3
f(q4,q1) -> q3
f(q3,q0) -> q3
f(q3,q2) -> q3
f(q3,q1) -> q3
f(q0,q7) -> q3
f(q0,q5) -> q3
f(q0,q6) -> q3
f(q0,q4) -> q3
f(q0,q3) -> q3
f(q0,q0) -> q3
f(q0,q2) -> q3
f(q0,q1) -> q3
f(q2,q7) -> q3
f(q2,q5) -> q3
f(q2,q6) -> q3
f(q2,q4) -> q3
f(q2,q3) -> q3
f(q2,q0) -> q3
f(q2,q2) -> q3
f(q2,q1) -> q3
f(q1,q7) -> q3
f(q1,q5) -> q3
f(q1,q6) -> q3
f(q1,q4) -> q3
f(q1,q3) -> q3
f(q1,q0) -> q3
f(q1,q2) -> q3
f(q1,q1) -> q3
g(q7,q0) -> q2
g(q7,q2) -> q2
g(q7,q1) -> q2
g(q5,q0) -> q2
g(q5,q2) -> q2
g(q5,q1) -> q2
g(q6,q0) -> q2
g(q6,q2) -> q2
g(q6,q1) -> q2
g(q4,q0) -> q2
g(q4,q2) -> q2
g(q4,q1) -> q2
g(q3,q0) -> q2
g(q3,q2) -> q2
g(q3,q1) -> q2
g(q0,q7) -> q2
g(q0,q5) -> q2
g(q0,q6) -> q1
g(q0,q4) -> q2
g(q0,q3) -> q1
g(q0,q0) -> q2
g(q0,q2) -> q2
g(q0,q1) -> q2
g(q2,q7) -> q2
g(q2,q5) -> q2
g(q2,q6) -> q2
g(q2,q4) -> q2
g(q2,q3) -> q2
g(q2,q0) -> q2
g(q2,q2) -> q2
g(q2,q1) -> q2
g(q1,q7) -> q2
g(q1,q5) -> q2
g(q1,q6) -> q2
g(q1,q4) -> q2
g(q1,q3) -> q2
g(q1,q0) -> q2
g(q1,q2) -> q2
g(q1,q1) -> q2
h(q0) -> q0
h(q2) -> q0
h(q1) -> q0

Automaton "minimal-of-determinized-of-F2"
States q0 q1 q2 q3 q4
Final States q0

Transitions
h(q0) -> q0
g(q0,q0) -> q0
g(q0,q1) -> q0
g(q0,q3) -> q0
g(q0,q2) -> q0
g(q0,q4) -> q0
g(q1,q0) -> q0
g(q3,q0) -> q0
g(q2,q0) -> q0
g(q4,q0) -> q0
f(q0,q0) -> q0
f(q0,q1) -> q0
f(q0,q3) -> q0
f(q0,q2) -> q0
f(q0,q4) -> q0
f(q1,q0) -> q0
f(q3,q0) -> q0
f(q2,q0) -> q0
f(q4,q0) -> q0
h(q1) -> q2
g(q1,q1) -> q4
g(q1,q3) -> q4
g(q1,q2) -> q4
g(q1,q4) -> q4
g(q3,q1) -> q4
g(q2,q1) -> q4
g(q4,q1) -> q4
f(q1,q1) -> q0
f(q1,q3) -> q3
f(q1,q2) -> q3
f(q1,q4) -> q3
f(q3,q1) -> q0
f(q2,q1) -> q0
f(q4,q1) -> q0
h(q3) -> q2
h(q2) -> q2
g(q3,q3) -> q4
g(q3,q2) -> q4
g(q3,q4) -> q4
g(q2,q3) -> q1
g(q2,q2) -> q4
g(q2,q4) -> q4
g(q4,q3) -> q4
g(q4,q2) -> q4
f(q3,q3) -> q3
f(q3,q2) -> q3
f(q3,q4) -> q3
f(q2,q3) -> q3
f(q2,q2) -> q3
f(q2,q4) -> q3
f(q4,q3) -> q3
f(q4,q2) -> q3
h(q4) -> q2
g(q4,q4) -> q4
f(q4,q4) -> q3
b -> q4
a -> q4

