Немного литературы по GLR и GLL (issue #20)

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -1579,4 +1579,23 @@ @InProceedings{10.1007/978-3-662-59620-3_5
 isbn="978-3-662-59620-3"
 }
 
+@inproceedings{Economopoulos2006GeneralisedLP,
+  title={Generalised LR parsing algorithms},
+  author={Giorgios Economopoulos},
+  year={2006},
+  url={https://api.semanticscholar.org/CorpusID:29026667}
+}
+
+@inproceedings{Cappers2014ExploringAV,
+  title={Exploring and visualizing GLL parsing},
+  author={Bcm Bram Cappers},
+  year={2014},
+  url={https://api.semanticscholar.org/CorpusID:63190886}
+}
 
+@inproceedings{Afroozeh2019PracticalGT,
+  title={Practical general top-down parsers},
+  author={Ali Afroozeh and Anastasia Izmaylova},
+  year={2019},
+  url={https://api.semanticscholar.org/CorpusID:198351560}
+}

tex/GLL-based_CFPQ.tex

@@ -408,6 +408,8 @@ \section{Алгоритм Generalized LL}
 Можно построить анализатор, работающий с произвольными КС-грамматиками.
 Generalized LL (GLL)~\cite{Scott:2010:GP:1860132.1860320,10.1007/978-3-662-46663-6_5}
 
+Обзор:~\cite{Cappers2014ExploringAV}, история и т.д.~\cite{Afroozeh2019PracticalGT} 
+
 Принцип работы остается абсолютно таким же, как для табличного LL:
 \begin{itemize}
   \item Сначала по грамматике строится \textit{управляющая} таблица

tex/GLR-based_CFPQ.tex

@@ -1144,6 +1144,8 @@ \subsection{Модификации GLR}
 
 С этой проблемой справился BRNGLR (Binary RNGLR)~\cite{Scott:2007:BCT:1289813.1289815}. За счет бинаризации удалось получить кубическую оценку сложности и при этом также, как и RNGLR, допускать все КС грамматики.
 
+Подробное описание разных вариаций и история: PhD~\cite{Economopoulos2006GeneralisedLP}
+
 Кроме того, GLR довольно естесственно обобщается до решения задачи поиска путей с КС ограничениями. Это происходит следующим образом: элементами во входной структуре теперь будем считать не позиции символа в слове, а вершины графа (то есть ``позици'' и множество смежных вершин). Это приводит к тому, что при применении операции shift, следующих символов может быть несколько и каждый из них должен быть рассмотрен отдельно, сдвигаясь по соответствующему ребру и проходя входной граф в ширину. Подробное описание алгоритма и псевдокод представлены в работе~\cite{10.1007/978-3-319-41579-6_22}.
 
 %\section{Вопросы и задачи}