From 64d8a60a09830845c971d5f781a077d724456892 Mon Sep 17 00:00:00 2001 From: Arity-T Date: Tue, 17 Dec 2024 11:03:46 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9C=D0=BE=D0=B4=D0=B5=D0=BB=D1=8C=20=D0=B0?= =?UTF-8?q?=D0=B2=D1=82=D0=BE=D0=BC=D0=B0=D1=82=D0=B0=20=D0=B2=20=D0=BC?= =?UTF-8?q?=D0=B0=D1=82=D0=BE=D0=BF=D0=B8=D1=81=D0=B0=D0=BD=D0=B8=D0=B8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- coursework/report.tex | 25 +++++++++++++++++++++++-- 1 file changed, 23 insertions(+), 2 deletions(-) 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*{Заключение}