Немного правок в разделе по регуляркам.

Author: gsvgit

tex/RegularLanguages.tex

@@ -1,22 +1,23 @@
 \chapter{Регулярные языки}
 
 
+Регулярные языки --- иерархии, связанные с конечные автоматы, взаимные конвертации, основные свойства регулярных языков, такие как замкнутость относительно различных операций.
 
-Регулярные языки, конечные автоматы, взаимные конвертации, замкнутость.
+
+\section{Регулярные выражения}
 
 \begin{definition}
-    Регулярное множество.
+    Регулярное множество (над алфавитом $\Sigma$) это:
     \begin{itemize}
         \item $\varnothing$
         \item $\{\varepsilon\}$
-        \item $\{t\}$
-        \item $R_1 \cup R_2$
-        \item $R_1 \cdot R_2$
-        \item $R^*$
+        \item $\{t\}$, $t \in \Sigma$
+        \item $R_1 \cup R_2$, где $R_1$ и $R_2$ --- регулярные множества
+        \item $R_1 \cdot R_2$, где $R_1$ и $R_2$ --- регулярные множества
+        \item $R^*$, где $R$ --- регулярное множество
     \end{itemize}
 \end{definition}
 
-\section{Регулярные выражения}
 
 \begin{definition}
     Регулярное выражение.
@@ -41,7 +42,7 @@ \section{Конечные автоматы}
 
 Пример интерпретации конечного автомата.
 
-Построение КА по регулярке и регулярки по КА. На производных.
+Построение КА по регулярному выражению и регулярному выражению по КА. На производных.
 
 Алгоритмы: проверка пустоты ...