Índice E[i,j] S[i,j] Motivo da Ação

[0,4] x cascata(1,3)

[0,5] x a->2,2

[1,2] x a->1,4

[1,3] x {[0,4]} a->1,5

[2,3] ✓ {[4,5]}

[4,5] ✓ {[2,3]}

a b

2 4 5

3 5 4

4 3 2

5 2 3

Transitividade q2 = q3

q4=q5

Autômato minimizado