Процедура преобразования нка в ка

1. Изобразить столбцы для входных символов и записать эти символы;

2. В первой строке записать как множество все начальные состояния;

3. Заполнить эту строку. По диаграмме НКА выписать в виде множеств все состояния в которые переходят начальные состояния, через соответствующий входной символ;

4. В качестве нового состояния, при заполнении следующей строки, использовать множества, которые появились в предыдущей строке;

5. Закончить построение таблицы переходов после того, как будут исчерпаны все варианты множеств, которые появились в таблице;

6. При заполнении столбца с символом конца цепочки, в строке вставить “допустить”, если в множество входит допускающее состояние и “отвергнуть”, если в множестве нет допускающих состояний;

7. Переномеровать состояния и заново заполнить таблицу переходов.

Конечные автоматы трансляторы

Трансляторы проверяют цепочку и выдают на выход что-нибудь. Конечные автоматы трансляторы задаются всеми теми параметрами, что и КА, но нужно добавить множество выходных символов. В таблице переходов каждая клетка увеличится на два поля. В одном из них указывается состояние, а в другом указание– что выдаётся на выход.

Автоматы с магазинной памятью (мп-автоматы)

МП-автомат задаётся:

• Конечным множеством входных символов (включая символ );

• Конечным множеством магазинных символов (включая маркер дна );

• Конечным множеством состояний;

• Управляющей таблицей, которая каждой комбинации (входной символ, состояние и магазинный символ) ставит в соответствие: 1) выход и 2) переход.

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

Над Входом можно:

• Оставить входной символ;

• Запросить очередной символ.

Запрещено запрашивать входной символ после символа конца цепочки. В магазин можно втолкнуть или вытолкнуть из него верхний символ. Запрещено выталкивание маркера дна магазина. МП- автомат характеризуется начальным содержанием магазина.

Для МП- распознавателя выход означает либо пропустить, либо отвергнуть. Входная цепочка допускается МП- распознавателем, если под действием этой цепочки автомат начинает работу в начальном состоянии и начальным содержимом магазина и делает ряд переходов, приводящих к выходу “допустить”. Иначе цепочка отвергается.

Порядок выполнения работы

Составьте конечный автомат для распознавания цепочек сборки, разработанных в предыдущей лабораторной работе. Опишите конечный автомат словами с указанием множеств входных символов, состояний и общей

последовательности действий конечного автомата.

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

Содержание отчета

1. Фамилия И. О., группа, тема, цель.

2. Описание конечного автомата.

3. Таблица переходов конечного автомата.

4. Листинг программы.

Вопросы для самоконтроля

1. Дайте определение КА.

2. Поясните понятия «входной символ», «множество входных символов», «состояние», «переход».

3. Перечислите и охарактеризуйте виды КА.

4. Чем отличаются НКА от КА и как соотносятся между собой?

5. Каковы преимущества МП- автомата?

6. Какой именно вид КА нужно реализовать для выполнения задания? Обоснуйте свой выбор.

7. Как строится таблица переходов КА?