diff --git a/coursework/report.tex b/coursework/report.tex index bfc56c5..e754d40 100644 --- a/coursework/report.tex +++ b/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*{Заключение}