Z9411_КафкаРС_ТАиФЯ_ЛР
.docx
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное автономное образовательное учреждение высшего образования
«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ»
(ГУАП)
ИНСТИТУТ НЕПРЕРЫВНОГО И ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ
Кафедра проблемно-ориентированных вычислительных комплексов
СОГЛАСОВАНО
РУКОВОДИТЕЛЬ
старший преподаватель |
|
|
|
Н. Н. Григорьева |
должность, уч. степень, звание |
|
подпись, дата |
|
инициалы, фамилия |
ЛАБОРАТОРНАЯ РАБОТА
по дисциплине «Теория автоматов и формальных языков»
РАБОТУ ВЫПОЛНИЛ
СТУДЕНТ ГР. |
|
Z9411 |
|
|
|
Р. С. Кафка |
|
|
|
|
подпись, дата |
|
инициалы, фамилия |
Студенческий билет: 2019/3603
Санкт-Петербург
2022г.
Задание:
Постройте грамматику, которая позволяет порождать цепочки из 0 или 1 с неравным количеством 0 и 1.
Представьте полученную грамматику в виде блок-схемы алгоритма формирования правильных цепочек языка и эквивалентного конечного автомата.
Промоделируйте работу конечного автомата, убедитесь в корректности его работы на нескольких тестовых последовательностях.
Постройте распознаватели грамматики на основе автомата с магазинной памятью и на базе машины Тьюринга.
Промоделируйте работу распознавателей с помощью уже использованных тестовых последовательностей и убедитесь в корректности их работы.
Построим регулярную грамматику согласно заданию:
S → 1A|11S|0A|00S
A → 11A|00A|ε
Представим полученную программу с помощью блок-схемы:
Рисунок 1. Блок-схема.
Смоделируем работу конечного автомата:
Рисунок 2. Конечный автомат
Результаты проверки показаны на рисунках:
Рисунок 3. Дерево вывода
Рисунок 4. Ввод неправильной цепочки
4. Смоделируем работу конечного автомата на основе автомата с магазинной памятью:
Рисунок 5. Автомат с магазинной памятью
Результат проверки показан на рисунке:
Рисунок 6. Проверка работы
Смоделируем работу конечного автомата на базе машины Тьюринга:
Рисунок 7. Автомат на базе машины Тьюринга
Результаты проверки показаны на рисунках:
Рисунок 8. Проверка правильной цепочки
Рисунок 9. Проверка неправильной цепочки