Поменял название на титульнике. Теперь согласуется с тем, что заявлено на сайте.

gsvgit · gsvgit · commit ffd1b8ff803d · 2021-07-16T11:18:42.000+03:00
diff --git a/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex b/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
@@ -145,7 +145,7 @@
     \endgroup
   }
 
-\title{Приложения теории формальных языков и синтаксического анализа}
+\title{О достижимости с ограничениями в терминах формальных языков}
 \author{Семён Григорьев}
 \date{\today}
 

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,7 @@`
`145`	`145`	`\endgroup`
`146`	`146`	`}`
`147`	`147`
`148`		`-\title{Приложения теории формальных языков и синтаксического анализа}`
	`148`	`+\title{О достижимости с ограничениями в терминах формальных языков}`
`149`	`149`	`\author{Семён Григорьев}`
`150`	`150`	`\date{\today}`
`151`	`151`