Немного доработок в регулярках.

Author: gsvgit

tex/RegularLanguages.tex

@@ -32,15 +32,36 @@ \section{Регулярные выражения}
 
 \section{Конечные автоматы}
 
-\begin{definition}
-    Конечный автомат.
+\begin{definition}\label{def:FiniteAutomata}
+    \textit{Конечный автомат} --- это пятёрка $M = \langle Q, q_S, Q_F, \delta, \Sigma \rangle$, где
+    \begin{itemize}
+        \item $Q$ --- конечное множество состояний
+        \item $q_S \in Q$ --- стартовое состояние
+        \item $Q_F \subseteq Q$ --- множество финальных состояний
+        \item $\delta \subseteq Q \times (\Sigma \cup \varepsilon) \times Q$ --- функция переходов, а $\varepsilon \notin \Sigma$
+        \item $\Sigma$ --- конечный алфавит
+    \end{itemize}
 \end{definition}
 
-Пример КА.
+Заметим, что определение~\ref{def:FiniteAutomata} 
+
+В зависимости от того, как именно представлена функция переходов: список троек, матрица, граф.
+
+\begin{example}
+    Пример КА.    
+    \begin{tikzpicture}
+        
+    \end{tikzpicture}
+\end{example}
 
-Конфигурация, переход между конфигурациями.
 
+\begin{definition}
+    Конфигурация, переход между конфигурациями.
+\end{definition}
+
+\begin{example}
 Пример интерпретации конечного автомата.
+\end{example}
 
 Построение КА по регулярному выражению и регулярному выражению по КА. На производных.
 
@@ -49,7 +70,6 @@ \section{Конечные автоматы}
 Примеры.
 
 
-
 \section{Лево(право)линейные грамматики}
 
 \begin{definition}