from ssfsm import DFA_Machine l = DFA_Machine('A') l.A[0] = l.A l.A[1] = l.B l.B[0] = l.C l.B[1] = l.D l.C[0] = l.C l.C[1] = l.E l.D[0] = l.C l.D[1] = l.D l.E[0] = l.E l.E[1] = l.E l.A = True l.C = True l.E = True print(l().dot) m = l().get_minimized() #print(m().dot)
D1.A = True 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