Теория языков программирования и методы трансляции. Контрольная работа. Вариант №1

Задания:
No1 Пусть регулярный язык задан своим описанием:
Множество всех цепочек из {0,1,a}*, которые содержат подцепочку ’01a’ и чётное количество единиц. Например, ‘01a1’, ‘101a’, ‘101a101’ и т.п.
Построить регулярное выражение, задающее этот язык.
No2 Построить регулярную грамматику, задающую язык из задачи No1.
No3 Построить КС-грамматику, задающую язык из задачи No1. Сгенерировать две цепочки языка по построенной грамматике. Процесс генерации цепочек языка записать в виде цепочки вывода, указывая номера применённых правил (или сами правила, как показано в примере). Использовать левосторонний или правосторонний вывод.
No4 Построить детерминированный конечный автомат (ДКА), распознающий язык из задачи No1. Функцию переходов ДКА представить в двух видах: таблицей и графом переходов. Проверить с помощью этого ДКА допустимость цепочек языка, полученных в задаче No3. Процесс проверки выписать в виде последовательности конфигураций построенного ДКА.
No5 Пусть КС-язык задан своим описанием:
L={a 2n b 2n c k k 0, n > 0}. Например, ‘aabb’, ‘aabbc’, ‘aabbccc’, ‘aaaabbbbc’.
Построить КС-грамматику, задающую этот язык. Допустимо использовать пустые правила. Сгенерировать две цепочки языка по построенной грамматике. Процесс генерации цепочек языка записать в виде цепочки вывода, указывая номера правил.
No6 Построить детерминированный автомат с магазинной памятью, распознающий язык из задачи No5 и работающий с опустошением стека. Проверить с помощью этого ДМПА допустимость цепочек языка, полученных в задаче No5. Процесс проверки выписать в виде последовательности конфигураций построенного ДМПА, указывая номера правил.
No7 Пусть требуется выполнить перевод цепочек с одного КС-языка на другой:
= {(x,y) | x = 0k+11k, y=akbk+1 | k0}. Например: (0,b), (001,abb), (00011,aabbb).
Построить T – схему синтаксически управляемого перевода для выполнения этого (T). Взять две цепочки исходного языка и выполнить их перевод, процесс перевода выписать в виде выводимых пар цепочек, указывая номера правил.
No8 Построить преобразователь с магазинной памятью P для выполнения перевода (P) из задачи No7. Взять две цепочки исходного языка и выполнить их перевод, процесс перевода выписать в виде последовательной смены конфигураций построенного преобразователя, указывая номера правил.

СибГУТИ 2013г., 1 вариант. Зачет