Контрольная Моделирование работы МПА Лабораторная работа № 3, номер: 200132

"

Постановка задачи 3
Описание входных данных программы и её результатов 3
Алгоритм решения задачи 4
Описание основных переменных, а также основных блоков и подпрограмм 4
Текст программы 6
Результаты работы программы 11
Ответы на контрольные вопросы 12

Постановка задачи
Пусть контекстно-свободный язык задаётся детерминированным автоматом с магазинной памятью – ДМПА. Написать программу, которая будет проверять для вводимой цепочки, принадлежит ли она заданному КС-языку. В случае отрицательного ответа необходимо давать пояснение, по какой причине цепочка не принадлежит языку. Исходный автомат вводить с клавиатуры в соответствии с определённым форматом. Ввод цепочек также производить с клавиатуры, выполняя его до тех пор, пока не возникнет желание закончить работу.
Ответы на контрольные вопросы
1. Обязательно ли должна быть задана функция переходов для всех возможных сочетаний «состояние, входной символ, символ стека»? Как поведёт
2. В каком случае цепочка считается допущенной автоматом, а в каком – нет?
3. Возможно ли в качестве алфавита магазина использовать символы, отличные от алфавита языка? Изменится ли работа программы, если изменить только алфавит магазинных символов (и соответствующие правила функции переходов)? "