ТЯ лр
.docxМИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
федеральное государственное автономное образовательное учреждение высшего образования
«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ»
Кафедра проблемно-ориентированных вычислительных комплексов
ПРЕПОДАВАТЕЛЬ
Старший преподаватель |
|
|
|
Н. Н. Григорьева |
должность, уч. степень, звание |
|
подпись, дата |
|
инициалы, фамилия |
Лабораторная работа
по курсу: Теория автоматов и формальных языков
СТУДЕНТКА ГР. № |
Z0411 |
|
18.01.23 |
|
М. В. Карелина |
|
|
номер группы |
|
подпись, дата |
|
инициалы, фамилия |
|
Номер студенческого билета: 2020/3477
Санкт-Петербург
2023
Задание:
Решение:
Построим грамматику, порождающую язык L:
S → aDa
D →aDa
D → cBc
B → bB | b
Представим полученную грамматику с помощью блок-схемы:
Рисунок 1. Блок-схема
Данная грамматика контекстно-свободная, а не автоматная, поэтому построить конечный автомат для ее распознавания невозможно.
Грамматика (Grammar, проверка на цепочке и дерева вывода для этой цепочки.
Рисунок 2. Древо вывода
Рисунок 3. Ввод неправильной цепочки
Смоделируем работу конечного автомата на основе автомата с магазинной памятью:
Рисунок 4. Проверка работы Автомата с МП
Машина Тьюринга.
Рисунок 5. Проверка правильной цепочки
Вывод
Я изучила работу контекстно-свободных грамматик и методы их моделирования. Научилась работать в программе JFLAP. Составила блок-схему. Данная грамматика контекстно-свободная, а не автоматная и она бесконечная, поэтому построить конечный автомат для неё невозможно.
Изучила методы работы автомата с магазинной памятью. Научилась выводить дерево вывода. Разработала модель машины Тьюринга в JFLAP.