General structure is changed: part on regular languages is added, FLPQ is moved down.

gsvgit · gsvgit · commit b0d632ab96eb · 2021-08-10T13:59:12.000+03:00
diff --git a/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex b/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
@@ -161,9 +161,13 @@
 \input{LinearAlgebra}
 \input{GraphTheoryIntro}
 \input{FormalLanguageTheoryIntro}
-\input{FLPQ}
-%\input{RegularLanguages}
+\input{RegularLanguages}
 \input{Context-Free_Languages}
+%\input{Multiple_Context-Free_Languages}
+%\input{ConjunctiveAndBooleanLanguages}
+\input{FLPQ}
+\input{RPQ}
+%\input{CFPQ}
 \input{CYK_for_CFPQ}
 \input{Matrix-based_CFPQ}
 \input{TensorProduct}
@@ -173,8 +177,6 @@
 %\input{CombinatorsForCFPQ}
 %\input{DerivativesForCFPQ}
 %\input{CFPQ_to_Datalog}
-%\input{Multiple_Context-Free_Languages}
-%\input{ConjunctiveAndBooleanLanguages}
 %\input{Conclusion}
 
 \bibliographystyle{abbrv}
diff --git a/tex/RPQ.tex b/tex/RPQ.tex
@@ -0,0 +1,6 @@
+\chapter{Поиск путей с регулярными ограничениями}
+
+\section{!!!}
+
+
+\section{!!!}
diff --git a/tex/RegularLanguages.tex b/tex/RegularLanguages.tex
@@ -1,23 +1,13 @@
 \chapter{Регулярные языки}
 
-Регулярные языки, конечные автоматы, взяимные конвертации, замкнутость.
+Регулярные языки, конечные автоматы, взаимные конвертации, замкнутость.
 
 Лемма о накачке
 
 Линейная алгебра для работы с регулярными языками: пересечение, замыкание.
 
-
-
-\section{Задача поиска путей с ограничениями в терминах регулярных языков}
-
-Графовая база данных --- автомат.
-
-Задача --- пересечение автоматов.
-
-Линейная алгебра, производные, построение атомата, выяснение существования путей.
-
-\section{Вопросы и задачи}
-
-Построить базу.
-
-Научиться выполнять запросы через линейку. 
+%\section{Вопросы и задачи}
+%
+%Построить базу.
+%
+%Научиться выполнять запросы через линейку. 
