Выделен раздел про комбинаторы парсеров в главе про синтаксический анализ.

Author: gsvgit

book_structure.md

@@ -106,7 +106,7 @@
 
 ### Глава 7. Классические алгоритмы синтаксического анализа для строк — `tex/part_02_Foundations/chapter_07_ClassicalParsing/main.tex` — ⚠️
 
-> Алгоритмы CYK, Валианта, построение множеств first/follow, нисходящий синтаксический анализ (рекурсивный спуск, LL(k), GLL), восходящий синтаксический анализ (LR(0), SLR(1), CLR(1), GLR), сравнение классов LL и LR.
+> Алгоритмы CYK, Валианта, построение множеств first/follow, нисходящий синтаксический анализ (рекурсивный спуск, LL(k), GLL), восходящий синтаксический анализ (LR(0), SLR(1), CLR(1), GLR), сравнение классов LL и LR, комбинаторы парсеров.
 
 - ⚠️ Вводная часть главы: история вопроса, обзор, ссылки на Грюна и другие классические работы
 - ⚠️ Раздел "Алгоритм CYK" — `01_CYK.tex`
@@ -122,6 +122,7 @@
   - ⚠️ Подраздел "CLR(1) алгоритм"
   - ⚠️ Подраздел "Обобщённый LR алгоритм"
 - ⚠️ Раздел "Сравнение классов LL и LR" — `06_LLvsLR.tex`
+- ❌ Раздел "Комбинаторы парсеров" — `07_Combinators.tex`
 
 ### Глава 8. Многокомпонентные контекстно-свободные языки — `tex/part_02_Foundations/chapter_08_MCFG/main.tex` — ⚠️
 
@@ -251,11 +252,10 @@
     - Планируемое содержание: Описание, Адаптация GLR: множественный shift по всем исходящим рёбрам (конфликт типа shift-shift), Модификации GLR (RNGLR, BRNGLR), Псевдокод
   - ⚠️ Подраздел "Примеры"
   - ⚠️ Подраздел "Свойства алгоритма"
-  - Интегрированы материалы из статьи `papers_src/CFPQ_GLR/paper`: основной алгоритм из `algorithm.tex`, доказательства завершимости и корректности из `algorithm.tex`, пример и рисунки из `appendix.tex`. Рисунки и dot-исходники перенесены в `tex/part_03_GraphAnalysis/chapter_12_CFPQ/figures/07_GLR_Based/`.
+  - Интегрированы материалы из статьи `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`
-  - ⚠️ Вводная часть раздела: история вопроса, обзор, мотивация
-  - ⚠️ Подраздел "Описание алгоритма"
-    - Планируемое содержание: Описание, Псевдокод
+  - ❌ Вводная часть раздела: история вопроса, обзор, мотивация
+  - ❌ Подраздел "Описание алгоритма"
   - ❌ Подраздел "Примеры"
   - ❌ Подраздел "Свойства алгоритма"
 

tex/part_02_Foundations/chapter_07_ClassicalParsing/07_Combinators.tex

@@ -0,0 +1,15 @@
+\section{Комбинаторы парсеров}
+\label{sec:Combinators}
+\tikzsetfigurename{ClassicalParsing_Combinators_}
+
+\mytodo{Наполнить раздел.}
+Что такое комбинаторы парсеров, с чем их едят, плюсы, минусы.
+Про семантику, безопасность, левую рекурсию и т.д.
+Набор примитивных парсеров и функций, которые умеют из существующих парсеров строить более сложные (собственно, комбинаторы парсеров).
+Можно упомянуть разные типы (аппликативные и т.д.), но без деталей. Дать ссылки на работы.
+
+Разобрать символ, разобрать последовательность, разобрать альтернативу. В принципе, этого достаточно, но это не очень удобно.
+
+Проблемы с левой рекурсией.
+Существуют решения. Одно из~них~--- Meerkat.
+Подробно про него?

tex/part_02_Foundations/chapter_07_ClassicalParsing/main.tex

@@ -14,3 +14,4 @@ \chapter{Классические алгоритмы синтаксическо
 \input{part_02_Foundations/chapter_07_ClassicalParsing/04_TopDown}
 \input{part_02_Foundations/chapter_07_ClassicalParsing/05_BottomUp}
 \input{part_02_Foundations/chapter_07_ClassicalParsing/06_LLvsLR}
+\input{part_02_Foundations/chapter_07_ClassicalParsing/07_Combinators}

tex/part_03_GraphAnalysis/chapter_12_CFPQ/08_Combinators.tex

@@ -1,19 +1,13 @@
 \section{Комбинаторы парсеров для поиска путей с КС ограничениям}
 	\tikzsetfigurename{CFPQ_Combinators_}
 
-Что это, с чем едят, плюсы, минусы. Про семантику, безопасность, левую рекурсию и т.д.
-Набор примитивных парсеров и функций, которые умеют из существующих арсеров строить более сложные (собственно, комбинаторы парсеров).
+Основные сведения о комбинаторах парсеров вынесены в раздел~\ref{sec:Combinators}.
 
-Разобрать символ, разобрать последовательность, разобрать альтернативу. впринципе, этого достаточно, но это не очень удобно.
 
-Проблемы с левой рекурсией.
-Существуют решения. Одно из них~--- Meerkat.
-Подробно про него?
 
-Вообще говоря, идея использовать комбинаторы для навигации по графам достаточно очевидно и не нова.
+\mytodo{Интегрировать материалы из Scala\_ICFP и Combinators\_for\_single\_source\_CFPQ. основное брать из Scala\_ICFP. Combinators\_for\_single\_source\_CFPQ --- вспомогательная.}
+Вообще говоря, идея использовать комбинаторы для навигации по графам достаточно очевидна и не нова.
 немного про Trails~\cite{Kroni:2013:PGA:2489837.2489844}.
-
 Комбинаторы для запросов к графам на основе Meerkat~\cite{Verbitskaia:2018:PCC:3241653.3241655}
-
 Обобщённые запросы, типобезопасность и всё такое.
 Примеры запросов.