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

Задача No1
Пусть регулярный язык задан своим описанием:
Множество всех цепочек из {1,a,b}*, содержащих подцепочку ’aa’ и чётное количество единиц. Например, ‘aa’, ‘1aa1’, ‘1b1aa’, ‘aa11’ и т.п.
Построить регулярное выражение, задающее этот язык.

Задача No2
Построить регулярную грамматику, задающую язык из задачи No1.

Задача No3
Построить КС-грамматику, задающую язык из задачи No1. Сгенерировать две цепочки языка по построенной грамматике. Процесс генерации цепочек языка записать в виде цепочки вывода, указывая номера применённых правил (или сами правила, как показано в примере). Использовать левосторонний или правосторонний вывод.

Задача No4
Построить детерминированный конечный автомат (ДКА), распознающий язык из задачи No1. Функцию переходов ДКА представить в двух видах: таблицей и графом переходов. Проверить с помощью этого ДКА допустимость цепочек языка, полученных в задаче No3. Процесс проверки выписать в виде последовательности конфигураций построенного ДКА.

Задача No5
Пусть КС-язык задан своим описанием:
L={an b2k cn k > 0, n 0}
Например, ‘bb’, ‘abbc’, ‘aaabbbbccc’, ‘aabbcc’.
Построить КС-грамматику, задающую этот язык. Допустимо использовать пустые правила. Сгенерировать две цепочки языка по построенной грамматике. Процесс генерации цепочек языка записать в виде цепочки вывода, указывая номера правил.

Задача No6
Построить детерминированный автомат с магазинной памятью, распознающий язык из задачи No5 и работающий с опустошением стека. Проверить с помощью этого ДМПА допустимость цепочек языка, полученных в задаче No5. Процесс проверки выписать в виде последовательности конфигураций построенного ДМПА, указывая номера правил.

Задача No7
Пусть требуется выполнить перевод цепочек с одного КС-языка на другой:
= {(x,y) | x = 1nak+1bk-1, y=02k1n| k>0, n>0}
Например: (1aa,001), (11aa,0011).
Построить T-схему синтаксически управляемого перевода для выполнения этого (T). Взять две цепочки исходного языка и выполнить их перевод, процесс перевода выписать в виде выводимых пар цепочек, указывая номера правил.

Задача No8
Построить преобразователь с магазинной памятью P для выполнения перевода (P) из задачи No7. Взять две цепочки исходного языка и выполнить их перевод, процесс перевода выписать в виде последовательной смены конфигураций построенного преобразователя, указывая номера правил.

Работа сдавалась в 2012 году, преподаватель Бах, была принята с 3-го раза.