Структурный синтез абстрактного автомата, страница 5

Сокрощенная  схема  переходов:

a1

a2

a3

a4

a5

a6

a8

a11

a12

a16

a23

a24

Z1

a3

a5

a4

a8

a11

a8

a16

a23

a16

a1

a1

a1

Z1

a2

a4

a6

a8

a8

a12

a16

a16

a24

a1

a1

a1

Сокрощенная  схема выходов:

a1

a2

a3

a4

a5

a6

a8

a11

a12

a16

a23

a24

Z1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w2

w1

Z2

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w2

w2

Минимальный графоавтомат

Минимизация обстрактного автомата

двоичный код          код Грэя:

   a1    (0000)              (0000)

   a2    (0001)              (0001)

   a3    (0010)              (0011)

   a4    (0011)              (0010)

   a5    (0100)              (0110)

   a6    (0101)              (0111)

   a8    (0110)              (0101)

   a11  (0111)              (0100)

   a12  (1000)              (1100)

   a16  (1001)              (1101)

   a23  (1010)              (1111)

   a24  (1011)              (1110)

Колличество выходов:     N = log₂ 2 = 1

Колличество входов:        L = log₂ 2 = 1

Колличество тригеров:     R > log₂ 2 = 4

Таблица истинности   JK  триггеров:

Таблица определения входов  J - и  K - триггеров:

	at+1 x = 0    x = 1		x=0		x=1		x=0		x=1		x=0			x=1			x=0			x=1
at	QQQQ	QQQQ	J1	k1	J1	k1	J2	k2	J2	k2	J3	k3	J3		k3	J4		k4	J4		k4
0000	0011	0001	0		0		0		0		1		0			1			1
0001	0110	0010	0		0		1		0		1		1					1			1
0011	0010	0111	0		0		0		1			0			0			1			0
0010	0101	0101	0		0		1		1			1			1	1			1
0110	0100	0101	0		0			0		0		1			1	0			1
0111	0101	1100	0		1			0		0		1			1			0			1
0101	1101	1101	1		1			0		0	0		0					0			0
0100	1111	1101	1		1			0		0	1		0			1			1
1100	1101	1110		0		0		0		0	0		1			1			0
1101	0000	0000		1		1		1		1	0		0					1			1
1111	0000	0000		1		1		1		1		1			1			1			1
1110	0000	0000		1		1		1		1		1			1	0			0