Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Modul1_Primer_zad1.doc
Скачиваний:
3
Добавлен:
09.11.2018
Размер:
790.53 Кб
Скачать

МОДУЛЬ 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. Построим прямую таблицу переходов.

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

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

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

Прямая таблица переходов автомата Мили

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

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]