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