Базовый перенос материалов про комбинаторы для КС запросов из статей.

Author: gsvgit

book_structure.md

@@ -254,10 +254,11 @@
   - ⚠️ Подраздел "Свойства алгоритма"
   - Интегрированы материалы из статьи `papers_src/CFPQ_GLR/paper`: основной алгоритм из `algorithm.tex`, доказательства завершаемости и корректности из `algorithm.tex`, пример и рисунки из `appendix.tex`. Рисунки и dot-исходники перенесены в `tex/part_03_GraphAnalysis/chapter_12_CFPQ/figures/07_GLR_Based/`.
 - ⚠️ Раздел "Комбинаторы парсеров для поиска путей с КС ограничениям" — `08_Combinators.tex`
-  - ❌ Вводная часть раздела: история вопроса, обзор, мотивация
-  - ❌ Подраздел "Описание алгоритма"
-  - ❌ Подраздел "Примеры"
-  - ❌ Подраздел "Свойства алгоритма"
+  - ⚠️ Вводная часть раздела: мотивация (прозрачная интеграция, композиция), история (Trails, Meerkat), связь с GLL
+  - ⚠️ Подраздел "Описание алгоритма": обобщённый интерфейс входа, базовые комбинаторы, семантические действия, SPPF, обработка циклов и левой рекурсии
+  - ⚠️ Подраздел "Примеры": same generation, параметризованные комбинаторы, семантические действия и типобезопасность
+  - ⚠️ Подраздел "Свойства алгоритма": корректность, выразительная мощность, обработка циклов, сложность, сравнение с другими подходами
+  - Интегрированы материалы из `papers_src/Scala_ICFP/` (основная): введение, описание комбинаторов и семантических действий, примеры, свойства. Из `papers_src/Combinators_for_single_source_CFPQ/` (вспомогательная): пример same generation с пользовательскими действиями, типобезопасность.
 
 ### Глава 13. Сравнение алгоритмов, использующих КС языки в качестве ограничений — `tex/part_03_GraphAnalysis/chapter_13_CFPQ_Comparison/main.tex` — ❌
 

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -141,6 +141,52 @@ @inproceedings{Verbitskaia:2018:PCC:3241653.3241655
   keywords  = {Context-Free Language Reachability, Context-Free Path Querying, GLL, Generalized LL, Graph Databases, Language-Constrained Path Problem, Neo4j, Parser Combinators, Scala}
 }
 
+@inproceedings{izmaylova2016practical,
+  author    = {Izmaylova, Anastasia and Afroozeh, Ali and Storm, Tijs van der},
+  title     = {Practical, General Parser Combinators},
+  booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation},
+  series    = {PEPM '16},
+  year      = {2016},
+  pages     = {1--12},
+  doi       = {10.1145/2847538.2847539},
+  publisher = {ACM}
+}
+
+@article{scott2010gll,
+  author  = {Scott, Elizabeth and Johnstone, Adrian},
+  title   = {GLL Parsing},
+  journal = {Electronic Notes in Theoretical Computer Science},
+  volume  = {253},
+  number  = {7},
+  pages   = {177--189},
+  year    = {2010},
+  doi     = {10.1016/j.entcs.2010.08.041}
+}
+
+@book{burge1975recursive,
+  author    = {Burge, William H.},
+  title     = {Recursive Programming Techniques},
+  year      = {1975},
+  publisher = {Addison-Wesley}
+}
+
+@techreport{hutton1996monadic,
+  author      = {Hutton, Graham and Meijer, Erik},
+  title       = {Monadic Parser Combinators},
+  institution = {University of Nottingham},
+  year        = {1996}
+}
+
+@article{Johnson1995memoization,
+  author  = {Johnson, Mark},
+  title   = {Memoization in Top-down Parsing},
+  journal = {Computational Linguistics},
+  volume  = {21},
+  number  = {3},
+  pages   = {405--417},
+  year    = {1995}
+}
+
 @inproceedings{Mishin:2019:ECP:3327964.3328503,
   author    = {Mishin, Nikita and Sokolov, Iaroslav and Spirin, Egor and Kutuev, Vladimir and Nemchinov, Egor and Gorbatyuk, Sergey and Grigorev, Semyon},
   title     = {Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication},

tex/part_03_GraphAnalysis/chapter_12_CFPQ/06_GLL_Based.tex

@@ -1,5 +1,6 @@
 \section{Обобщённый нисходящий алгоритм для поиска путей с КС ограничениям}
-	\tikzsetfigurename{CFPQ_GLL_}
+\label{sec:CFPQ_GLL}
+\tikzsetfigurename{CFPQ_GLL_}
 
 GLL довольно естественно обобщается на граф~\cite{Grigorev:2017:CPQ:3166094.3166104}: позициями входа теперь будем считать не индексы линейного слова, а вершины графа. В самом же алгоритме требуется внести лишь два небольших дополнения: