2025-01-26

(C) David Vajda
2025-01-25
Automat Übung

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

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



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

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

		2	3	5	7
2:3		+	+
3:7			+		+
5:7				+	+

		2	3	5	7
2:3		+	+
5:7				+	+

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

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

	b a x	a
0	0 0 0	1
2	0 1 0	1
6	1 1 0	1
7	1 1 1	1

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

		0	2	6	7
0:2		+	+
2:6			+	+
6:7				+	+

		0	2	6	7
0:2		+	+
6:7				+	+

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

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

	b a x	y
Gruppe 0:
0	0 0 0	1
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	0

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

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

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

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

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

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


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

Zustand	Eingabe	Ausgabe	Folgezustand	Code Folgezustand
										z3+	z2+	z1+	z0+
00		0		1		01				0	0	1	0
00		1		1		00				0	0	0	1
01		0		1		11				1	0	0	0
01		1		0		10				0	1	0	0
10		0		1		00				0	0	0	1
10		1		0		10				0	1	0	0
11		0		1		01				0	0	1	0
11		1		0		11				1	0	0	0

z11+	<=	(z01 and not x) or (z11 and x);
z10+	<=	(z01 and x) or (z10 and x);
z01+	<=	(z00 and not x) or (z11 and not x);
z00+	<=	(z00 and x) or (z10 and not x);
y		<=	(z00 or z01 and not x or z11 and not x);