Черновик раздела про MCFG. Включено в основную сборку. Не закончено.

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -2144,3 +2144,44 @@ @book{кормен2009алгоритмы
   year      = {2009},
   publisher = {Вильямс}
 }
+
+@article{rambow1999independent,
+  title     = {Independent parallelism in finite copying parallel rewriting systems},
+  author    = {Rambow, Owen and Satta, Giorgio},
+  journal   = {Theoretical Computer Science},
+  volume    = {223},
+  number    = {1--2},
+  pages     = {87--120},
+  year      = {1999},
+  publisher = {Elsevier}
+}
+
+@inproceedings{kanazawa2009pumping,
+  author    = {Makoto Kanazawa},
+  title     = {The Pumping Lemma for Well-Nested Multiple Context-Free Languages},
+  booktitle = {Proceedings of the 13th International Conference on Developments in Language Theory ({DLT} 2009)},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {5583},
+  pages     = {312--325},
+  publisher = {Springer},
+  year      = {2009},
+  doi       = {10.1007/978-3-642-02737-6_25}
+}
+
+@phdthesis{pollard1984generalized,
+  author = {Carl Pollard},
+  title  = {Generalized Context-Free Grammars, Head Grammars, and Natural Language},
+  school = {Stanford University},
+  year   = {1984}
+}
+
+@article{kanazawa2014failure,
+  author  = {Makoto Kanazawa and Gregory M. Kobele and Jens Michaelis and Sylvain Salvati and Ryo Yoshinaka},
+  title   = {The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages},
+  journal = {Theory of Computing Systems},
+  volume  = {55},
+  number  = {1},
+  pages   = {250--278},
+  year    = {2014},
+  doi     = {10.1007/s00224-014-9534-z}
+}

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

@@ -62,7 +62,7 @@
 \input{FormalLanguageTheoryIntro}
 \input{RegularLanguages}
 \input{Context-Free_Languages}
-% \input{Multiple_Context-Free_Languages} % FIXME: Переписать главу
+\input{Multiple_Context-Free_Languages} % FIXME: Исправить главу
 % %\input{ConjunctiveAndBooleanLanguages}
 \input{FLPQ}
 \input{RPQ}