Code: Alles auswählen
Zustand Folge-Zustand fuer Ausgang
x=0 x=1
1 4 7 0
2 3 4 0
3 4 8 1
4 7 1 0
5 7 3 1
6 8 4 1
7 1 4 0
8 7 1 1
Zustand Folge-Zustand fuer Ausgang
x=0 x=1
3 4 8 1
5 7 3 1
6 8 4 1
8 7 1 1
(3,5) (4,7) (8,3)
(3,6) (4,8) (8,4)
(3,8) (4,7) (8,1)
(5,6) (7,8) (3,4)
(5,8) (7,7) (3,1)
(6,8) (8,7) (1,1)
Zustand Folge-Zustand fuer Ausgang
x=0 x=1
1 4 7 0
2 3 4 0
4 7 1 0
7 1 4 0
(1,2) (4,3) (7,4)
(1,4) (4,7) (7,1)
(1,7) (4,1) (7,4)
(2,4) (3,7) (4,1)
(2,7) (3,1) (4,4)
(4,7) (1,1) (4,4)
(1,2) (4,3) (7,4)
(1,4) (4,7) (7,1)
(1,7) (4,1) (7,4)
(2,4) (3,7) (4,1)
(2,7) (3,1) (4,4)
(3,5) (4,7) (8,3)
(3,6) (4,8) (8,4)
(3,8) (4,7) (8,1)
(4,7) (1,1) (4,4)
(5,6) (7,8) (3,4)
(5,8) (7,7) (3,1)
(6,8) (8,7) (1,1)
(1,2) (3,4) (4,7)
(1,4) (4,7) (1,7)
(1,7) (1,4) (4,7)
(2,4) (3,7) (1,4)
(2,7) (1,3) (4,4)
(3,5) (4,7) (3,8)
(3,6) (4,8) (4,8)
(3,8) (4,7) (1,8)
(4,7) (1,1) (4,4)
(5,6) (7,8) (3,4)
(5,8) (7,7) (1,3)
(6,8) (7,8) (1,1)
(1,2) (3,4) (4,7)
(1,4) (4,7) (1,7)
(1,7) (1,4) (4,7)
(2,4) (3,7) (1,4)
(2,7) (1,3)
(3,5) (4,7) (3,8)
(3,6) (4,8) (4,8)
(3,8) (4,7) (1,8)
(5,6) (7,8) (3,4)
(5,8) (1,3)
(6,8) (7,8)
--(1,2) --(3,4) (4,7)
--(1,4) --(4,7) (1,7)
--(1,7) --(1,4) (4,7)
--(2,4) --(3,7) (1,4)
--(2,7) --(1,3)
--(3,5) --(4,7) (3,8)
--(3,6) --(4,8) (4,8)
--(3,8) --(4,7) (1,8)
--(5,6) --(7,8) (3,4)
(5,8) (1,3)
(6,8) (7,8)
...
https://www.ituenix.de/nextcloud/data/d ... 240324.csv
https://www.ituenix.de/nextcloud/data/d ... 240324.tex
https://www.ituenix.de/nextcloud/data/d ... 240324.pdf
Gut, ohne das automatisch generierte Diagramm, schreibe ich jetzt die Verknüpfungen als Funktion hin und mache den Automaten selber als Zustandsdiagramm und wandle ihn um von mealy nach moore.
Ich nehme diese Tabelle
Code: Alles auswählen
Zustand,Eingabe,Ausgabe,Folgezustand
1,0,0,4
1,1,1,4
2,0,0,1
2,1,0,3
3,0,0,2
3,1,0,1
4,0,1,3
4,1,1,2
Code: Alles auswählen
Zustand,Eingabe,Ausgabe,Folgezustand
1,0,0,4
1,1,1,4
2,0,0,1
2,1,0,3
3,0,0,2
3,1,0,1
4,0,1,3
4,1,1,2
z1 := z2 and not x or z3 and x
z2 := z3 and not x or z4 and not x
z3 := z2 and x or z4 and not x
z4 := z1
y := z1 and x or z4
https://www.ituenix.de/nextcloud/data/d ... 240324.tex
https://www.ituenix.de/nextcloud/data/d ... 240324.pdf