Automat - 2024-10-21

	b a x	b a y
0	0 0 0	0 1 0
1	0 0 1	1 0 1
2	0 1 0	1 1 1
3	0 1 1	0 1 1
4	1 0 0	1 0 1
5	1 0 1	0 0 0
6	1 1 0	1 0 1
7	1 1 1	1 1 1


	b a x	b
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	1
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	0
5	1 0 1	0
6	1 1 0	0
7	1 1 1	1

	b a x	y
0	0 0 0	0
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
4	1 0 0	1
5	1 0 1	0
6	1 1 0	1
7	1 1 1	1



	b a x	b
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
6	1 1 0	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
7	1 1 1	1

	b a x	y
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
4	1 0 0	1
6	1 1 0	1
7	1 1 1	1



	b a x	b
Gruppe 1:
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

	b a x	a
Gruppe 0:
0	0 0 0	1
Gruppe 1:
2	0 1 0	1
Gruppe 2:
3	0 1 1	1
Gruppe 3:
7	1 1 1	1

	b a x	y
Gruppe 1:
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
3	0 1 1	1
6	1 1 0	1
Gruppe 3:
7	1 1 1	1





	b a x	b
Gruppe 1:
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

1			0	0	1
2:6			-	1	0
4:6			1	-	0
6:7			1	1	-

			1	2	4	6	7
1			+
2:6				+		+
4:6					+	+
6:7						+	+

1			0	0	1
2:6			-	1	0
4:6			1	-	0
6:7			1	1	-

	b	<=	(not b and not a and x) or
			(a and not x) or
			(b and not x) or
			(b and a);


	b a x	a
Gruppe 0:
0	0 0 0	1
Gruppe 1:
2	0 1 0	1
Gruppe 2:
3	0 1 1	1
Gruppe 3:
7	1 1 1	1

0:2			0	-	0
2:3			0	1	-
3:7			-	1	1

			0	2	3	7
0:2			+	+
2:3				+	+
3:7					+	+


			0	2	3	7
0:2			+	+
3:7					+	+

0:2			0	-	0
2:3			0	1	-
3:7			-	1	1

		a	<=	(b and not x) or
				(a and x);

	b a x	y
Gruppe 1:
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
3	0 1 1	1
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

1:3			0	-	1
2:3			0	1	-
2:6			-	1	0
4:6			1	-	0
3:7			-	1	1
6:7			1	1	-


1:3			0	-	1
4:6			1	-	0
2:3			0	1	-
6:7			1	1	-
3:7			-	1	1
2:6			-	1	0

1:3:4:6			-	-	1
2:3:6:7			-	1	-
3:7:2:6			-	1	-

1:3:4:6			-	-	1
2:3:6:7			-	1	-

		y	<=	(x) or (a)



	b	<=	(not b and not a and x) or
			(a and not x) or
			(b and not x) or
			(b and a);
	a	<=	(b and not x) or
			(a and x);
	y	<=	(x) or (a)

Zustand	Eingabe	Ausgabe	Folgezustand	Code-Folgezustand
										z3+ z2+ z1+ z0+
z0		0		0		z1+				0	0	1	0
z0		1		1		z2+				0	1	0	0
z1		0		1		z3+				1	0	0	0
z1		1		1		z1+				0	0	1	0
z2		0		1		z2+				0	1	0	0
z2		1		0		z0+				0	0	0	1
z3		0		1		z2+				0	1	0	0
z3		1		1		z3+				1	0	0	0

z0+	:=	z2 and x
z1+	:=	z0 and not x or z1 an x
z2+	:=	z0 and x or z2 and  not x or z3 and not x
z3+	:=	z1 and not x or z3 and x