from ssfsm import DFA_Machine
l = DFA_Machine('A')
l.A[0] = l.H
l.A[1] = l.B
l.B[0] = l.H
l.B[1] = l.A
l.C[0] = l.E
l.C[1] = l.F
l.D[0] = l.E
l.D[1] = l.F
l.E[0] = l.F
l.E[1] = l.G
l.F[(0,1)] = l.F
l.G[0] = l.G
l.G[1] = l.F
l.H[(0,1)] = l.C
l.F = True
l.G = True
print(l().dot)
m = l().get_minimized()
#print(m().dot)
D2 = DFA_Machine('C')
D2.C[0] = D2.C
D2.C[1] = D2.D
D2.D[0] = D2.D
D2.D[1] = D2.C
D2.D = True
D3 = DFA_Machine('E')
D3.E[0] = D3.E
D3.E[1] = D3.F
D3.F[0] = D3.G
D3.F[1] = D3.F
D3.G[(0,1)] = D3.G
D3.E = True
D3.F = True
D4 = DFA_Machine('H')
D4.H[0] = D4.I
D4.H[1] = D4.H
D4.I[0] = D4.I
D4.I[1] = D4.J
D4.J[(0,1)] = D4.J
D4.H = True
D4.I = True
D5 = DFA_Machine('K')
D5.K[0] = D5.L
D5.K[1] = D5.M
D5.L[0] = D5.M
D5.L[1] = D5.K
