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

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

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

КАФЕДРА № 41

ОТЧЕТ ЗАЩИЩЕН С ОЦЕНКОЙ

ПРЕПОДАВАТЕЛЬ

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

ОТЧЕТ О ЛАБОРАТОРНОЙ РАБОТЕ №5

ПОСТРОЕНИЕ РАСПОЗНАВАТЕЛЯ КС-ЯЗЫКА НА БАЗЕ МАШИНЫ ТЬЮРИНГА

по курсу: Теория автоматов и формальных языков

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

СТУДЕНТ ГР. №	4016				Жовтяк М.О.
			подпись, дата		инициалы, фамилия

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

1. Цель работы

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

2) Порядок работы

1. Варианты заданий определяются порядковым номером в списке группы.

2. Промоделировать работу построенного распознавателя, используя различные тестовые последовательности, позволяющие выявить все возможные исходы распознавания. При моделировании работы распознавателя фиксировать состояние ленты машины.

3. Проанализировать полученные результаты, сделать выводы

3) Вариант задания

Вариант №15

На ленте представлены результаты сессии (формат записи: пять оценок и четыре зачета); построить МТ, которая бы решала задачу о назначении стипендии (предусмотреть четыре возможных результата – повышенная стипендия, стипендия обычная, нет стипендии, сессия не сдана).

4) Построение графа переходов машины Тьюринга

Выходные состояния таковы: повышенная стипендия – 5, стипендия обычная - 4, нет стипендии - 3, сессия не сдана - 2.

Мной предложен следующий алгоритм проверки результатов сессии:

1. Проверка оценок экзамена разделено на 4 состояния (оценки 5, 4, 3 , 2), которые определяют оценку в данный момент. Если будет найдена оценка ниже, чем находящееся в состоянии, то он переходит к следующему состоянию, в котором эта оценка закрепляется и так далее. Вернуться к «высшему состоянию» уже будет нельзя.

2. Если в одно из этих состояний на конвейер поступит Зачет или Незачет, то происходит последовательная проверка Зачетов. Если будут все Зачеты, то выдастся та оценка, из состояния оценки по экзамену которой был проложен к проверки зачетов. Если будет найден хоть один Незачет, то машина завершает проверку и выдает оценку 2.

Граф переходов машины Тьюринга представлен на рисунке 1.

Рисунок 1 – Машина Тьюринга

5) Моделирование работы машины Тьюринга

На рисунке 2 смоделирована работа Машины, где студент получает повышенную стипендию, обычную стипендию, без стипендии, несдачу сессии из-за оценки, несдачу сессии из-за незачета.

6) Вывод

В ходе лабораторной работы я приобрел базовые знания о работе машины Тьюринга, изучил методы создания простейших распознающих и решающих устройств, построил и смоделировал работу машины Тьюринга.