Введение
ГЛАВА 1. Контекстно-свободные языки, их синтаксический анализ и коммутативные образы 47
1.1. Контекстно-свободные грамматики и порождаемые ими языки 47
1.2. Идентификаторы языков программирования и их задание контекстно-свободными грамматиками 55
1.3. Проблема синтаксического анализакс-языков программирования 59
1.4. Коммутативные образы (производящие функции) кс-языков 63
ГЛАВА 2. Фундаментальные свойства коммутативных образов контекстно-свободных языков 66
2.1. Решение проблемы установления алгебраичности суммы степенного ряда (коммутативного образа формального языка) 66
2.2. Коммутативные образы кс-языков: связь с линейными языками..73
2.3. Коммутативные образы кс-языков как диагонали рядов Лорана рациональных функций 97
2.4. Конструктивное представление и приближенное вычисление коммутативных образов кс-языков 103
2.5. Фундаментальные свойства множеств сходимости коммутативных образов формальных языков 109
ГЛАВА 3. Распознавание контекстно-свободных языков: необходимые условия 117
3.1. Теорема Эйзенштейна для коммутативных образов кс-языков 117
3.2. Условия для коммутативных образов, сгруппированных по однородным многочленам 124
3.3. Условия для коммутативных образов, сгруппированных в ряды Гартогса 133
ГЛАВА 4. Распознавание контекстно-свободных языков достаточные условия для коммутативных образов 140
4.1. Достаточное условие алгебраического продолжения коммутативного образа языка 140
4.2. Композиция Адамара формальных языков и их коммутативных образов 153
4.3. Кс-языки и композиция Адамара линейных языков 159
4.4. Характер особенностей композиции Адамара линейных языков.172
4.5. Диагонали линейных языков 181
4.6. Композиция Адамара сгруппированных линейных языков 190
ГЛАВА 5. Вычислительное распознавание контекстно-свободных языков и грамматик 193
5.1. Решение проблемы вычислительного распознавания коммутативных образов кс-языков 193
5.2. Аффинные кс-грамматики и кс-языки 198
5.3. Опередепители Ганкеля и алгебраическая зависимость кс-языков 205
ЛИТЕРАТУРА 208
ПРИЛОЖЕНИЕ 228
