вопросы к экзамену (1)
.docxВопросы к экзамену
Алфавит. Цепочки в алфавите.
Конкатенация цепочек и ее свойства.
Понятие формального языка.
Конкатенация языков и ее свойства.
Замыкание Клини и усеченное замыкание Клини данного формального языка.
Ассоциативность операции конкатенации формальных языков.
Не коммутативность операции конкатенации формальных языков (доказательство).
Дистрибутивность операции конкатенации формальных языков относительно операции объединения (план доказательства).
Не дистрибутивность операции конкатенации формальных языков относительно операции пересечения. Верное соотношение (свойство 4, формулировка). Не верное в общем случае соотношение (свойство 5 с доказательством).
Понятие грамматики.
Вывод в заданной грамматике.
Сентенциальные формы. Сентенции. Язык грамматики.
Эквивалентные грамматики. Пример.
Обобщенные грамматики.
Грамматики непосредственно составляющих.
Контекстно-свободные грамматики.
Регулярные грамматики.
Соотношения между классами грамматик.
Заключительные продукции. Перестройка вывода.
Теорема о перестройке вывода с перемещением заключительных продукций: формулировка и пример.
Размеченный вывод.
Понятие упорядоченного размеченного вывода.
Теорема о перестройке вывода в упорядочиваемый: формулировка и пример
Равносильные выводы.
Бесповторный вывод.
Теорема о существовании равносильного бесповторного вывода. Пример.
Теорема о существовании эквивалентной грамматики с множеством продукций, не содержащих терминалов в левых частях: формулировка и план доказательства
Понятие эффективной замкнутости класса языков относительно заданной операции.
Теорема об эффективной замкнутости класса языков всех грамматик относительно основных операций над языками: формулировка
-свободная грамматика.
Теорема о связи контекстно-свободных грамматик и -свободных контекстно-свободных грамматик: формулировка.
Теорема о связи регулярных грамматик и -свободных регулярных грамматик: формулировка.
Понятие растянутого дерева вывода.
Понятие дерева вывода.
Однозначные и неоднозначные контекстно-свободные грамматики.
Левосторонние и правосторонние размеченные выводы.
Постановка задачи синтаксического анализа цепочки контекстно-свободного языка.
Две основные схемы синтаксического анализа.
Грамматики простого предшествования. Определение. Алгоритм проверки отношений простого предшествования.
Синтаксический анализатор для грамматики простого предшествования.
Определение детерминированного конечного автомата (ДКА).
Графическое представление ДКА
Определение переходной функции T ДКА.
Определение множества цепочек, принимаемых ДКА.
Доопределение переходной функции t ДКА до полной функции.
Определение недетерминированного конечного автомата (НДКА).
Графическое представление НДКА
Определение переходной функции T НДКА.
Определение множества цепочек, принимаемых НДКА.
Теорема о соотношении множеств цепочек, принимаемых ДКА и НДКА (теорема 1): формулировка и часть доказательства
А) процедура построения недетерминированного конечного автомата по данному детерминированному конечному автомату (этап 1 доказательства необходимости теоремы 1 п. 4.1)
Б) процедура построения детерминированного конечного автомата по данному недетерминированному конечному автомату (этап 1 доказательства достаточности теоремы 1 п. 4.1)
Теорема о соотношении множеств цепочек, принимаемых ДКА и регулярными языками (теорема 2): формулировка и часть доказательства
А) процедура построения некоторой регулярной грамматики G по данному детерминированному конечному автомату M. (этапа I доказательства необходимости теоремы 2 п. 4.1)
Следствие теорем 1 и 2 (формулировка)