Скачиваний:
0
Добавлен:
27.08.2024
Размер:
225.94 Кб
Скачать

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

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

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

КАФЕДРА № 41

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

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

старший преподаватель

 

 

 

Н.Н. Григорьева

 

 

 

 

 

 

 

 

 

должность, уч. степень, звание

 

подпись, дата

 

инициалы, фамилия

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

МОДЕЛИРОВАНИЕ ДЕТЕРМИНИРОВАННОГО АВТОМАТА С МАГАЗИННОЙ ПАМЯТЬЮ

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

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

 

 

 

 

 

СТУДЕНТ ГР. №

4016

 

 

 

Жовтяк М.О.

 

 

 

 

 

 

 

 

 

 

 

подпись, дата

 

инициалы, фамилия

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

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

Изучение принципов работы автоматов с магазинной памятью и

методов построения распознавателя контекстно-свободной грамматики на их

основе.

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

1.В качестве задания можно использовать КС-грамматику, полученную в лабораторной работе №3.

2.Сформулировать регулярную грамматику, позволяющую распознавать заданные последовательности.

3.На основе регулярной грамматики построить автомат с магазинной памятью.

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

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

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

Вариант №15

Входной алфавит {a, b, c, d, z}

Последовательность: acd S -> aA|bS|dS|C

A -> aS|bS|cB|dS|C

B -> dS

C -> z

4) Построение детерминированного автомата с магазинной

памятью

На основе КС-грамматики был построен граф распознающего

эквивалентного МП-автомата (рис.1).

2

Рисунок 1 – Граф МП-автомата

Моделируется работа автомата для входной последовательности, где не встречается c, abdaaabdz (рис.2).

Рисунок 2 – Первое моделирование МП-автомата Моделируется работа автомата для входной последовательности, где

корректно вводится c, acdbbacdaz (рис.3).

Рисунок 3 –Второе моделирование МП-автомата Моделируется работа автомата для входной последовательности, где

некорректно вводится c, adddbcaz (рис.4).

Рисунок 4 – Третье моделирование МП-автомата

3

При верной последовательности или при отсутствии необходимого элемента стек пустой, но при неверной последовательности в стеке появляется z, сообщающая об ошибке.

Вывод:

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

4

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