Изучение методов структурного синтеза конечных автоматов

Министерство общего и профессионального образования

Российской Федерации

Государственный Университет Аэрокосмического Приборостроения

Отчет защищен:

 

Преподаватель:

ОТЧЕТ

о лабораторной работе №22

по курсу «Теория автоматов»

Структурный синтез конечных

автоматов

Работу выполнил

студент группы 4741                                                  /Миронов С.В./

 

Санкт-Петербург, 1998

Лабораторная работа №22

Структурный синтез конечных автоматов

Цель работы: изучение методов структурного синтеза конечных автоматов.

     Текст задания:

     Синтезировать автомат Мили. Последовательность изменения состояния в зависимости от Z_f:

     Z₁ := 3, 6, 1, 4, 2, 5, 0, 3

     Z₂ := 4, 0, 1, 6, 5, 3, 2, 4

Выходные сигналы: переход из четного W₁ состояния при нечетном Z_f; переход из нечетного W₂ состояния при четном Z_f; W₃ - остальные случаи. Метод структурного синтеза - табличный. Тип элементов памяти: S-R, T, S-T-R.

     Граф абстрактного автомата:

     Таблицы переходов и выходов абстрактного автомата:

Табл. 1

Таблица переходов

	a0	a1	a2	a3	a4	a5	a6	a7
Z1	a3	a6	a1	a4	a2	a5	a0	a3
Z2	a4	a0	a1	a6	a5	a3	a2	a4

Табл. 2

Таблица выходов

	a0	a1	a2	a3	a4	a5	a6	a7
Z1	W1	W3	W1	W3	W1	W3	W1	W3
Z2	W3	W2	W3	W2	W3	W2	W3	W2

     Таблицы кодирования состояний, входов и выходов абстрактного автомата:

Табл. 3

Таблица кодирования состояний

	Q1	Q2	Q3
a1	0	0	1
a2	0	1	0
a3	0	1	1
a4	1	0	0
a5	1	0	1
a6	1	1	0
a7	1	1	1
a0	0	0	0

Табл. 4

Таблица кодирования входов

	x
Z1	0
Z2	1

Табл. 5

Таблица кодирования выходов

	y1	y2
W1	0	1
W2	1	0
W3	1	1

     Таблицы переходов и выходов структурного автомата:

Табл. 6

Таблица переходов

	000	001	010	011	100	101	110	111
0	011	110	001	100	010	101	000	011
1	100	000	001	110	101	011	010	100

Табл. 7

Таблица выходов

	000	001	010	011	100	101	110	111
0	01	11	01	11	01	11	01	11
1	11	10	11	10	11	10	11	10

     Получение минимальных выражений для выходных сигналов:

Рис. 1. Диаграммы Вейча для функций выходных сигналов

     Таблица функций возбуждения для RS -триггера:

Табл. 8

Таблица функций возбуждения

x		000			001			010			011
	SARA	SBRB	SCRC	SARA	SBRB	SCRC	SARA	SBRB	SCRC	SARA	SBRB	SCRC
0	0-	10	10	10	10	01	0-	01	10	10	01	01
1	10	0-	0-	0-	0-	01	0-	01	10	10	-0	01

x		100			101			110			111
	SARA	SBRB	SCRC	SARA	SBRB	SCRC	SARA	SBRB	SCRC	SARA	SBRB	SCRC
0	01	10	0-	-0	0-	-0	01	01	0-	01	-0	-0
1	-0	0-	10	01	10	-0	01	-0	0-	-0	01	01

     Получение минимальных выражений для функций возбуждения:

Рис. 2. Диаграммы Вейча для триггера A