-- (C) David Vajda -- 2024-12-28 -- simpler kleiner Automat b a x b a y 0 0 0 0 1 1 0 1 0 0 1 1 0 0 2 0 1 0 0 1 0 3 0 1 1 1 1 0 4 1 0 0 0 1 0 5 1 0 1 1 1 1 6 1 1 0 0 0 0 7 1 1 1 1 1 1 b a x b 0 0 0 0 1 1 0 0 1 1 2 0 1 0 0 3 0 1 1 1 4 1 0 0 0 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1 b a x a 0 0 0 0 1 1 0 0 1 0 2 0 1 0 1 3 0 1 1 1 4 1 0 0 1 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1 b a x y 0 0 0 0 0 1 0 0 1 0 2 0 1 0 0 3 0 1 1 0 4 1 0 0 0 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1 -- (C) David Vajda -- 2024-12-28 -- simpler kleiner Automat b a x b a y 0 0 0 0 1 1 0 1 0 0 1 1 0 0 2 0 1 0 0 1 0 3 0 1 1 1 1 0 4 1 0 0 0 1 0 5 1 0 1 1 1 1 6 1 1 0 0 0 0 7 1 1 1 1 1 1 b a x b 0 0 0 0 1 1 0 0 1 1 3 0 1 1 1 5 1 0 1 1 7 1 1 1 1 b a x a 0 0 0 0 1 2 0 1 0 1 3 0 1 1 1 4 1 0 0 1 5 1 0 1 1 7 1 1 1 1 b a x y 5 1 0 1 1 7 1 1 1 1 b a x b Gruppe 0: 0 0 0 0 1 Gruppe 1: 1 0 0 1 1 Gruppe 2: 3 0 1 1 1 5 1 0 1 1 Gruppe 3: 7 1 1 1 1 0:1 0 0 - 1:3 0 - 1 1:5 - 0 1 3:7 - 1 1 5:7 1 - 1 0:1 0 0 - 1:3 0 - 1 5:7 1 - 1 1:5 - 0 1 3:7 - 1 1 1:3:5:7 - - 1 1:5:3:7 - - 1 0:1 0 0 - 1:5:3:7 - - 1 b <= (not b and not a) or x; b a x a Gruppe 0: 0 0 0 0 1 Gruppe 1: 2 0 1 0 1 4 1 0 0 1 Gruppe 2: 3 0 1 1 1 5 1 0 1 1 Gruppe 3: 7 1 1 1 1 0:2 0 - 0 0:4 - 0 0 2:3 0 1 - 4:5 1 0 - 3:7 - 1 1 5:7 1 - 1 0:4 - 0 0 3:7 - 1 1 0:2 0 - 0 5:7 1 - 1 2:3 0 1 - 4:5 1 0 - 0 2 3 4 5 7 0:4 + + 3:7 + + 0:2 + + 5:7 + + 2:3 + + 4:5 + + 0 2 3 4 5 7 0:4 + + 3:7 + + 2:3 + + 4:5 + + 0:4 - 0 0 3:7 - 1 1 2:3 0 1 - 4:5 1 0 - a <= (not a and not x) or (a and x) or (not b and a) or (b and not a); b a x y 5 1 0 1 1 7 1 1 1 1 5:7 1 - 1 y <= (b and x) b <= (not b and not a) or x; a <= (not a and not x) or (a and x) or (not b and a) or (b and not a); y <= (b and x); Unär kodiert b a x b a y 0 0 0 0 1 1 0 1 0 0 1 1 0 0 2 0 1 0 0 1 0 3 0 1 1 1 1 0 4 1 0 0 0 1 0 5 1 0 1 1 1 1 6 1 1 0 0 0 0 7 1 1 1 1 1 1 Zustand Eingabe Ausgabe Folgezustand Code Folgezustand z3+ z2+ z1+ z0+ z0 0 0 z3 1 0 0 0 z0 1 0 z2 0 1 0 0 z1 0 0 z1 0 0 1 0 z1 1 0 z3 1 0 0 0 z2 0 0 z1 0 0 1 0 z2 1 1 z3 1 0 0 0 z3 0 0 z0 0 0 0 1 z3 1 1 z3 1 0 0 0 z3+ := (z0 and not x) or (z1 and x or z2 and x and z3 and x); z2+ := (z0 and x) z1+ := (z1 and not x or z2 and not x) z0+ := (z3 and not x) y := (z2 and x or z3 and x) |