Чурилов / Z9411_Чурилов_ТАиФЯ_ЛР

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное государственное автономное образовательное учреждение высшего образования

«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ»

(ГУАП)

ИНСТИТУТ НЕПРЕРЫВНОГО И ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ

Кафедра проблемно-ориентированных вычислительных комплексов

СОГЛАСОВАНО

РУКОВОДИТЕЛЬ

старший преподаватель				Н. Н. Григорьева
должность, уч. степень, звание		подпись, дата		инициалы, фамилия

ЛАБОРАТОРНАЯ РАБОТА

по дисциплине «Теория автоматов и формальных языков»

РАБОТУ ВЫПОЛНИЛ

СТУДЕНТ ГР.		Z9411				А. С. Чурилов
				подпись, дата		инициалы, фамилия

Санкт-Петербург

2022г.

Задание:

Постройте регулярную грамматику, которая позволяет порождать цепочки над алфавитом (а,b), в которых символ а НЕ встречается два раза подряд.

Представьте полученную грамматику в виде блок-схемы алгоритма формирования правильных цепочек языка и эквивалентного конечного автомата.

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

Постройте распознаватели грамматики на основе автомата с магазинной памятью и на базе машины Тьюринга.

Промоделируйте работу распознавателей с помощью уже использованных тестовых последовательностей и убедитесь в корректности их работы.

1. Построим регулярную грамматику согласно заданию:

S→AB

A→baA | b

B→abB | a | b

2. Представим полученную программу с помощью блок-схемы:

3. Смоделируем работу конечного автомата:

Для правильной работы в конце строки строчки нужно поставить z (условно названный конец операции)

Результаты проверки показаны на рисунках: