Заготовка заключения

gsvgit · gsvgit · commit afb90cdb45ba · 2023-07-28T09:07:15.000+03:00
diff --git a/tex/Conclusion.tex b/tex/Conclusion.tex
@@ -2,6 +2,6 @@
 
 Общие заключительные слова
 
-Про то, что ещё интересного происходит в этой области, куда можно двигаться, ссылки на ключевые работы.
+Про работы и частные случаи в статическом анализе, теоретическая сложность, свежие результаты и обзоры.
 
-!!!!
+Про то, что ещё интересного происходит в этой области, куда можно двигаться, ссылки на ключевые работы.
diff --git a/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex b/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
@@ -185,7 +185,7 @@
 \input{Multiple_Context-Free_Language_Reachability}
 %\input{DerivativesForCFPQ}
 %\input{CFPQ_to_Datalog}
-%\input{Conclusion}
+\input{Conclusion}
 
 \bibliographystyle{abbrv}
 \bibliography{FormalLanguageConstrainedReachabilityLectureNotes}
