ИСТИНА

Оглавление 1 Введение 2 Определения и простейшие свойства 2.1 Грамматика. 2.2 Формулы. 2.3 Вывод. 2.4 Длина вывода 2.5 Дерево вывода. 2.6 Линейные конъюнктивные грамматики. 2.7 Однозначные и неоднозначные грамматики. 3 Выразительные возможности конъюнктивных грамматик 3.1 Грамматики для классических не-контекстно-свободных языков. 3.2 Грамматики для некоторых других абстрактных языков 3.3 Построение грамматик для языков всех вычислений данного вычислительного устройства. 3.4 Грамматики для простейших языков программирования 4 Нормальные формы 4.1 6-конъюнкты. 4.2 Единичные конъюнкты. 4.3 Бинарная нормальная форма 4.4 Линейная нормальная форма. 5 Распознавание и синтаксический анализ 5.1 Алгоритм для грамматик в бинарной нормальной форме 5.2 Алгоритм для грамматик в линейной нормальной форме 5.3 Алгоритм для грамматик общего вида. 5.4 Алгоритм для линейных грамматик общего вида. Оглавление 5.5 Алгоритм нисходящего разбора. 5.6 Метод рекурсивного спуска. 5.7 Алгоритм восходящего разбора 5.8 Сравнение алгоритмов синтаксического анализа. 6 Задача принадлежности 6.1 Полиномиальное решение задачи принадлежности. 6.2 Р-полнота задачи принадлежности. 6.3 Р-полнога задачи принадлежности для линейных конъюнктивных грамматик. 7 Задача генерации строк 7.1 Постановка задачи как задачи распознавания свойств 7.2 Сложность для конъюнктивных и линейных конъюнктивных грамматик. 7.3 Сложность задачи для распространённых вычислительных устройств. 7.4 Анализ результатов. 8 Вопросы описательной сложности 8.1 Терминология 8.2 Описание контекстно-свободных языков конъюнктивными грамматиками. 8.3 Нерекурсивная оценка роста описательной сложности 9 Дополнительные вопросы 9.1 Неразрешимые задачи. 9.2 Сложность распознавания конъюнктивных языков по памяти 9.3 Связь с другими семействами языков. 9.4 Рост длин строк из конъюнктивных языков. 9.5 Конъюнктивные грамматики и системы языковых уравнений