from ssfsm import DFA_Machine
# Akzeptiert nur gerade Binärzahlen
even = DFA_Machine('a')
even.a[0] = even.b
even.b[0] = even.b
even.a[1] = even.a
even.b[1] = even.a
even.b = True
print(even().dot)
odd_length = DFA_Machine('e')
odd_length.e[(0,1)] = odd_length.o
odd_length.o[(0,1)] = odd_length.e
odd_length.o = True
#print(odd_length().dot)
#print((even + odd_length)().dot)
#print((even & odd_length)().get_minimized()().dot)
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)
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
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
l = DFA_Machine('X')
l.X['a'] = l.W
l.X['b'] = l.Z
l.Y['a'] = l.Z
l.Y['b'] = l.X
l.Z['ab'] = l.Z
l.V['a'] = l.Y
l.V['b'] = l.Z
l.W['a'] = l.Z
l.W['b'] = l.V
l.V = True
l.X = True
#print(l().dot)
m = l().get_minimized()
print(m().dot)