From eb6e005a74e723cd841cdbf6dca7f03c75202a84 Mon Sep 17 00:00:00 2001 From: Arity-T Date: Fri, 20 Dec 2024 02:39:04 +0300 Subject: [PATCH] =?UTF-8?q?=D0=A2=D0=B0=D0=B1=D0=BB=D0=B8=D1=86=D0=B0=20?= =?UTF-8?q?=D0=BF=D0=B5=D1=80=D0=B5=D1=85=D0=BE=D0=B4=D0=BE=D0=B2=20=D1=83?= =?UTF-8?q?=D0=BF=D1=80=D0=B0=D0=B2=D0=BB=D1=8F=D1=8E=D1=89=D0=B5=D0=B3?= =?UTF-8?q?=D0=BE=20=D0=B0=D0=B2=D1=82=D0=BE=D0=BC=D0=B0=D1=82=D0=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- coursework/report.tex | 52 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) diff --git a/coursework/report.tex b/coursework/report.tex index 0ad6268..fdf4298 100644 --- a/coursework/report.tex +++ b/coursework/report.tex @@ -180,6 +180,58 @@ \subsection{Реализация графа управляющего автомата} \subsubsection{Граф управляющего автомата} + На Рис.~\ref{fig:} представлен граф переходов управляющего конечного автомата, который обеспечивает функционал часов, соответствующий варианту курсовой работы. Этому графу переходов соответствует таблица переходов~\ref{tbl:steps}. + + \begin{table}[h!] + \centering + \caption{Таблица переходов управляющего автомата.} + \label{tbl:steps} + \footnotesize + \begin{tabular}{|c|c|c|c|} + \hline + \textbf{Вход} & \textbf{Текущее состояние} & \textbf{Следующее состояние} & \textbf{Выход} \\ + \hline + a & \textit{$s_0$: time} & \textit{$s_1$: minutes} & $z_0$ \\ + \hline + + b & \textit{$s_1$: minutes} & \textit{$s_1$: minutes} & $z_1$ \\ + \hline + a & \textit{$s_1$: minutes} & \textit{$s_2$: hours} & $z_0$ \\ + \hline + + b & \textit{$s_2$: hours} & \textit{$s_2$: hours} & $z_2$ \\ + \hline + a & \textit{$s_2$: hours} & \textit{$s_3$: weekday} & $z_0$ \\ + \hline + + b & \textit{$s_3$: weekday} & \textit{$s_3$: weekday} & $z_3$ \\ + \hline + a & \textit{$s_3$: weekday} & \textit{$s_0$: time} & $z_0$ \\ + \hline + + b & \textit{$s_0$: time} & \textit{$s_4$: sec-stop} & $z_0$ \\ + \hline + + b & \textit{$s_4$: sec-stop} & \textit{$s_4$: sec-stop} & $z_4$ \\ + \hline + a & \textit{$s_4$: sec-stop} & \textit{$s_5$: sec-run} & $z_0$ \\ + \hline + + a & \textit{$s_5$: sec-run} & \textit{$s_4$: sec-stop} & $z_0$ \\ + \hline + b & \textit{$s_5$: sec-run} & \textit{$s_0$: time} & $z_4$ \\ + \hline + \end{tabular} + \end{table} + + % \textit{$s_0$: time} & 000 \\ + % \textit{$s_1$: minutes} & 001 \\ + % \textit{$s_2$: hours} & 010 \\ + % \textit{$s_3$: weekday} & 011 \\ + % \textit{$s_4$: sec-stop} & 100 \\ + % \textit{$s_5$: sec-run} & 101 \\ + % \textit{$s_6$: display-off} & 110 \\ + \subsubsection{Состояния} Всего было выделено 7 состояний ($S = \{s_0, s_1, s_2, s_3, s_4, s_5, s_6, s_7\}$) со следующими значениями: