A B C D [CODE] 0 00 1 0 [CODE] 0 01 1 3 [CODE] 0 10 1 2 [CODE] 1 00 1 3 [CODE] 1 01 1 3 [CODE] 2 00 1 0 [CODE] 2 01 1 3 [CODE] 3 00 1 2 [CODE] 3 01 0 2 [CODE] A: Aktueller Zustand\B: Eingabe, x1, x2\C: Ausgabe, y, D: Folgezustand