Next: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/automat13.txt Up: www02102026002 Previous: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/automat11.txt
b a x b a y
0 0 0 0 0 0 1
1 0 0 1 0 1 0
2 0 1 0 1 1 1
3 0 1 1 0 0 1
4 1 0 0 1 1 0
5 1 0 1 1 0 0
6 1 1 0 1 0 1
7 1 1 1 0 1 0
b a x b
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
b a x a
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 0
7 1 1 1 1
b a x y
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
b a x b
2 0 1 0 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
b a x a
1 0 0 1 1
2 0 1 0 1
4 1 0 0 1
7 1 1 1 1
b a x y
0 0 0 0 1
2 0 1 0 1
3 0 1 1 1
6 1 1 0 1
b a x b
Gruppe 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2
5 1 0 1 1
6 1 1 0 1
b a x a
Gruppe 1
1 0 0 1 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2
7 1 1 1 1
b a x y
Gruppe 0
0 0 0 0 1
Gruppe 1
2 0 1 0 1
Gruppe 2
3 0 1 1 1
6 1 1 0 1
b a x b
Gruppe 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2
5 1 0 1 1
6 1 1 0 1
2;6 - 1 0
4;5 1 - 0
b := (a and not x) or (b and not x)
b a x a
Gruppe 1
1 0 0 1 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2
7 1 1 1 1
a := (not b and not a and x) or (not b and a and not x) or (b and not a and not x) or (b and a and x)
b a x y
Gruppe 0
0 0 0 0 1
Gruppe 1
2 0 1 0 1
Gruppe 2
3 0 1 1 1
6 1 1 0 1
0;2 0 - 0
2;3 0 1 -
2;6 - 1 0
y := (not b and not x) or (not b and a) or (a and not x)
b := (a and not x) or (b and not x)
a := (not b and not a and x) or (not b and a and not x) or (b and not a and not x) or (b and a and
x)
y := (not b and not x) or (not b and a) or (a and not x)