МОДУЛЬ 1. АБСТРАКТНАЯ ТЕОРИЯ АВТОМАТОВ

Задание №1

Тема: Способы задания цифровых автоматов.

Автоматные или стандартные языки.

Взаимные преобразования автоматов Мили и Мура

1. Дана совмещенная таблица переходов и выходов автомата Мили:

	a1	a2	a3	a4
z1	a2/w1	a2/w1	a1/w2	a1/ w4
z2	a4/ w5	a3/w3	a4/w4	a3/w5

Необходимо построить:

1. прямую таблицу переходов;

2. обратную таблицу переходов;

3. граф;

4. записать СКУ и СВФ.

Решение.

1. Построим прямую таблицу переходов.

Прямая таблица переходов – таблица, в которой последовательно перечисляются все переходы сначала из первого состояния, затем из второго и т.д.

2. Построим обратную таблицу переходов.

Обратная таблица переходов– таблица, в которой столбцы обозначены точно так же, как в прямой таблице переходов, но сначала записываются все переходы в первое состояние, затем во второе и т.д.

Прямая таблица переходов автомата Мили am (t) zf (t) as (t+1) wg (t) a1 z1 a2 w1 z2 a4 w5 a2 z1 a2 w1 z2 a3 w3 a3 z1 z2 a1 a4 w2 w4 a4 z1 z2 a1 a3 w4 w5

Обратная таблица переходов автомата Мили am (t) zf (t) as (t+1) wg (t) a3 a4 z1 z1 a1 w2 w4 a1 a2 z1 z1 a2 w1 w1 a2 z2 a3 w3 a4 z2 w5 a1 z2 a4 w5 a3 z2 w4