Базово перенесены материалы по GLL для CFPQ.

Author: gsvgit

book_structure.md

@@ -85,10 +85,10 @@
 - ✅ Раздел "Конечные автоматы" — `02_FiniteAutomata.tex`
 - ✅ Раздел "Производные для регулярных выражений" — `03_DerivativesForRegex.tex`
 - ✅ Раздел "Построение конечного автомата по регулярному выражению" — `04_RegexToFA.tex`
-- ✅ Раздел "Построение регулярного выражения по конечному автомату" — `05_FAToRegex.tex` *(закомментирован)*
-- ✅ Раздел "Лево(право)линейные грамматики" — `06_LinearGrammars.tex` *(закомментирован)*
-- ✅ Раздел "Лемма о накачке" — `07_PumpingLemma.tex` *(закомментирован)*
-- ✅ Раздел "Замкнутость регулярных языков относительно теоретико-множественных операций" — `08_ClosureProperties.tex` *(закомментирован)*
+- ✅ Раздел "Построение регулярного выражения по конечному автомату" — `05_FAToRegex.tex`
+- ✅ Раздел "Лево(право)линейные грамматики" — `06_LinearGrammars.tex`
+- ✅ Раздел "Лемма о накачке" — `07_PumpingLemma.tex`
+- ✅ Раздел "Замкнутость регулярных языков относительно теоретико-множественных операций" — `08_ClosureProperties.tex`
 
 ### Глава 6. Контекстно-свободные языки и грамматики — `tex/part_02_Foundations/chapter_06_ContextFreeLanguages/main.tex` — ⚠️
 
@@ -241,11 +241,12 @@
   - ❌ Подраздел "Свойства алгоритма"
     - Планируемое содержание: Схема доказательства корректности, оценки временной и пространственной сложности
 - ⚠️ Раздел "Обобщённый нисходящий алгоритм для поиска путей с КС ограничениям" — `06_GLL_Based.tex`
-  - ⚠️ Вводная часть раздела: история вопроса, обзор, мотивация
-  - ⚠️ Подраздел "Описание алгоритма"
-    - Планируемое содержание: Описание, Адаптация GLL: множественный shift по всем исходящим рёбрам (конфликт типа shift-shift), Модификации GLR (RNGLR, BRNGLR), Псевдокод
-  - ❌ Подраздел "Примеры"
-  - ❌ Подраздел "Свойства алгоритма"
+  - ⚠️ Вводная часть раздела: мотивация GLL-подхода, связь с поиском всех путей и графовыми БД
+  - ⚠️ Подраздел "Запросы в EBNF и рекурсивные автоматы"
+  - ⚠️ Подраздел "Описание алгоритма": RSM-версия GLL, дескрипторы, GSS, индекс путей, псевдокод
+  - ⚠️ Подраздел "Пример": построение индекса путей и восстановление SPPF на примере рекурсивного автомата
+  - ⚠️ Подраздел "Свойства алгоритма": завершаемость, корректность, особенности применения
+  - Интегрированы материалы из статьи `papers_src/DAMDID_GLL_CFPQ`: RSM/EBNF-версия GLL-алгоритма, индекс путей, пример построения индекса и восстановления SPPF, мотивация Neo4j-интеграции. Экспериментальные результаты из статьи в этот раздел подробно не перенесены; их следует рассматривать в главе сравнения алгоритмов.
 - ⚠️ Раздел "Обобщённый восходящий алгоритм для поиска путей с КС ограничениям" — `07_GLR_Based.tex`
   - ⚠️ Вводная часть раздела: история вопроса, обзор, мотивация
   - ⚠️ Подраздел "Описание алгоритма"

glossary.md

@@ -49,6 +49,10 @@
 - Реляционная семантика запросов --- Relational query semantics
 - Поиск путей с ограничениями в терминах булевых грамматик --- Path querying using Boolean grammars
 - Линейная конъюнктивная грамматика --- Linear conjunctive grammar
+- Индекс путей --- Path index
+- Поиск путей из множества источников --- Multiple-source path querying
+- Встроенная процедура --- Stored procedure
+- Cypher --- Cypher
 
 # Сокращения (расшифровка --- сокращение)
 - Graph Structured Stack --- GSS