Модель автомата в матописании

coursework/report.tex

@@ -161,8 +161,29 @@
 
     \newpage
     \section {Математическое описание}
+    \subsection{Модель конечного автомата}
+    Конечный автомат — математическая модель дискретного устройства, которая описывается набором:
+    \[
+    A = (S, \Sigma, Y, s_0, \delta, \lambda),
+    \]
+    где:
+    \begin{itemize}
+        \item \( S \) — конечное множество состояний;
+        \item \( \Sigma \) — конечное множество входных сигналов;
+        \item \( Y \) — конечное множество выходных сигналов;
+        \item \( s_0 \) — начальное состояние \((s_0 \in S)\);
+        \item \( \delta: S \times \Sigma \to S \) — функция переходов;
+        \item \( \lambda: S \times \Sigma \to Y \) — функция выходов.
+    \end{itemize}
     
+    Конечный автомат работает в дискретные моменты времени, и в момент \( t = 0 \) автомат всегда находится в состоянии \( s_0 \).
     
+    \subsection{Реализация графа управляющего автомата}
+    \subsubsection{Граф управляющего автомата}
+    \subsubsection{Состояния}
+    \subsubsection{Входы}
+    \subsubsection{Выходы}
+    \subsubsection{Функции переходов и выходов}
 
     \newpage
     \section*{Заключение}