Экзаменационная работа по дисциплине «Теория языков программирования и методы трансляции» Билет №22

Билет No 22
Факультет ИВТ (ДО) Курс 4 Семестр 7
Дисциплина    Теория языков программирования и методы трансляции
1) Эквивалентные способы задания регулярных языков. Свойства регулярных языков, способ проверки языка на регулярность. Проиллюстрировать на примере (пример должен быть свой).
2) Грамматики предшествования как основа восходящего распознавателя языков без возвратов. Алгоритм восходящего анализа языков без возвратов, основанный на грамматиках операторного предшествования. Проиллюстрировать на примере (пример должен быть свой).
Построить детерминированный автомат с магазинной памятью P (с опустошением стека), допускающий язык L(P) = {a 2k b n c n k > 0, n > 0}. Построить КС-грамматику для этого же языка.
Способы задания регулярных языков.
Регулярные грамматики, конечные автоматы и регулярные множества (и обозначающие их регулярные выражения) представляют собой три различных способа задания регулярных языков.
Утверждение
1. Язык является РМ тогда и только тогда, когда он задан леволинейной (праволинейной) грамматикой. Язык может быть задан леволинейной (праволинейной) грамматикой тогда и только тогда, когда он является регулярным множеством.
2. Язык является РМ тогда и только тогда, когда он задан с помощью конечного автомата. Язык распознается с помощью конечного автомата тогда и только тогда, когда он является РМ.
Все эти три способа эквивалентны. Существуют алгоритмы, позволяющие для языка, заданного одним из способов, построить другой способ, определяющий этот же язык (см. список литературы).

Билет №22
Могу выполнить любой вариант.