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

Построение конечного автомата – распознавателя для заданного регулярного множества

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

Задание

Построить конечный автомат (КА–распознаватель) для распознания регулярного множества цепочек трехсимвольного алфавита в соответствии с вариантом:

1.Представить логику (стратегию) работы конечного автомата в виде диаграммы переходов (ориентированного мультиграфа) по описанию регулярного множества для своего варианта.

2.Составить таблицу переходов конечного автомата в стандартном виде и убедиться в правильности его работы (для проверки вручную пошагово распознать правильную цепочку длиной не менее 6-ти символов).

3. Минимизировать полученный КА (проверить полученный автомат на эквивалентность и достижимость состояний).

4.Привести полное описание конечного автомата.

Выбор варианта: студент выбирает № варианта задачи, определив значение t , где t = N mod10 – остаток от деления нацело числа N (порядковый номер студента в основном списке).

Таблица 2– Индивидуальные задания к лабораторной работе 4

№ варианта	Описание регулярного множества
0	Содержит ровно два символа 1, заканчивается на 2 и символы 1 и 3 не стоят рядом
1	Содержит не более двух символов 1, начинается на 3, а символ 2 встречается только парами
2	Содержит не более двух символов 2, начинается на 11, а символ 3 встречается только по одному
3	Содержит ровно два символа 1, заканчивается на 23 и символы 1 и 2 не стоят рядом
4	Содержит не более одного символа 3, начинается на 21, а символ 1 встречается только парами
5	Содержит два символа 2, заканчивается на 13 и символы 2 и 3 не стоят рядом
6	Содержит не более двух символов 3, начинается на 13, а символ 1 встречается только по одному
7	Содержит ровно два символа 2, заканчивается на 31 и символы 2 и 3 не стоят рядом
8	Содержит ровно одно сочетание 12, заканчивается на 2 и символы 2 и 3 не стоят рядом
9	Содержит ровно одно сочетание 32, заканчивается на 1 и символы 1 и 3 не стоят рядом

Примечание. 1,2,3 – порядковые номера символов трехсимвольного алфавита, заданного студентом – например V={a,b.c}.

Вопросы для самостоятельной подготовки

1 Понятие конечного автомата (КА); задание КА.

2 Эквивалентные и недостижимые состояния КА, получение минимального КА.

3 Построение диаграммы состояний КА.

4 Построение таблицы переходов для КА.

5 Hедетерминированный конечный автомат (HКА); преобразование HКА в эквивалентный КА.

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

Построение автоматов с магазинной памятью (МП – автоматов)

Цель работы – выработка навыков построения МП–автоматов для распознания множества А или трансляции множества А входных цепочек в множество В выходных цепочек.

Задание

Построить в соответствии с вариантом МП–распознаватель или МП–транслятор для распознания множества А входных цепочек (или преобразования(трансляции) множества А входных цепочек в множество В выходных цепочек).

Для этого:

1) Описать стратегию работы МП–распознавателя (МП–транслятора) с указанием множеств входных символов, магазинных символов, состояний и общей стратегии действий МП–распознавателя (МП–транслятора) при разборе заданного в варианте регулярного множества.

2) Составить управляющую таблицу в стандартном виде в соответствии с описанием в п.1.

3) Убедиться в правильности работы МП–автомата, распознав (преобразовав) пошагово несколько цепочек.

4) Привести полное описание МП–автомата.

Выбор варианта: студент выбирает № варианта задачи, определив значение t , где t = N mod12 – остаток от деления нацело числа N (порядковый номер студента в основном списке).