Пример #1
0
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)
Пример #2
0
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)
Пример #3
0
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
Пример #4
0
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)
Пример #5
0
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)