Доработана первая часть основ теории графов.

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -2135,3 +2135,12 @@ @article{верещагин2000начала
   journal = {Шень М.: МЦНМО},
   year    = {2000}
 }
+
+@book{кормен2009алгоритмы,
+  title     = {Алгоритмы. Построение и анализ (пер. с англ.)},
+  author    = {Кормен, Т. and Лейзерсон, Ч. and Ривест, Р. and Штайн, К.},
+  isbn      = {9785845908575},
+  url       = {https://books.google.ru/books?id=UVg1LPacgRcC},
+  year      = {2009},
+  publisher = {Вильямс}
+}

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

@@ -18,6 +18,8 @@
 \newcommand*\circled[1]{\tikz[baseline=(char.base)]{
             \node[shape=circle,draw,inner sep=2pt] (char) {#1};}}
 
+\newcommand*\Opt[1]{\textit{Opt}_{#1}}
+
 \pghyphenation[]{russian}{%
 тео-ре-ти-ко-мно-жест-вен-ных
 }

tex/FormalLanguageTheoryIntro.tex

@@ -33,7 +33,7 @@ \chapter{Общие сведения теории формальных язык
 Для обозначения символов алфавита будем использовать строчные буквы латинского алфавита: $a, b, \dots, x, y, z$.
 
 Будем считать, что над алфавитом $\Sigma$ всегда определена операция конкатенации $\cdot: \Sigma^* \times \Sigma^* \to \Sigma^*$.
-\marginnote{TODO: объяснить звездочку Клини}
+Здесь $\Sigma^*$ --- замыкание множества !!!! \ref{def:set_closure}
 При записи выражений символ точки (обозначение операции конкатенации) часто будем опускать: $a \cdot b = ab$.
 
 \begin{definition}[Слово]