/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/fsm/fsm/2021-05-07-automat/komplexstate001.txt

Folgezustände

00 01
01 10
10 11
11 00

Dann mit Variablen

Pins/Bits/Eingabevariablen, 1-Bit breit

y = 0
und i = y

Die nennen wir

y0
yi

Diese Eingabevariablen 

Q1  Q0  Y0  Yi  Q1  Q0
0   0   0   0   0   1
0   0   0   1   0   1
0   0   1   0   0   0
0   0   1   1   0   0
0   1   0   0   1   0
0   1   0   1   1   0
0   1   1   0   1   0
0   1   1   1   1   0
1   0   0   0   1   1
1   0   0   1   0   0
1   0   1   0   1   1
1   0   1   1   0   0
1   1   0   0   1   0
1   1   0   1   0   0
1   1   1   0   1   0
1   1   1   1   0   0