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)
from ssfsm import DFA_Machine D1 = DFA_Machine('A') D1.A[0] = D1.B D1.A[1] = D1.A D1.B[0] = D1.A D1.B[1] = D1.B 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