diff --git a/coursework/report.tex b/coursework/report.tex index 72d08cc..e53d461 100644 --- a/coursework/report.tex +++ b/coursework/report.tex @@ -229,13 +229,59 @@ \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 \\ + \begin{table}[h!] + \centering + \caption{Таблица истинности для F.} + \label{tbl:truth-f} + \footnotesize + \begin{tabularx}{\textwidth}{|X|X|X|X|X|X|X|X|X|X|X|} + \hline + \multicolumn{2}{|c|}{\textbf{Вход}} & + \multicolumn{3}{c|}{\textbf{Текущее состояние}} & + \multicolumn{3}{c|}{\textbf{Следующее состояние}} & + \multicolumn{3}{c|}{\textbf{Выход}} \\ + \hline + $x_1$ & $x_2$ & $q_1$ & $q_2$ & $q_3$ & $Q_1$ & $Q_2$ & $Q_3$ & $y_1$ & $y_2$ & $y_3$ \\ + \hline + + 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 \\ + \hline + 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\ + \hline + 0 & 0 & 0 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 1 & 1 & 0 & 1 & 1 & 0 & 1 & 1 \\ + \hline + 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ + \hline + + 0 & 1 & 1 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 \\ + \hline + 0 & 0 & 1 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 \\ + \hline + + 0 & 0 & 1 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 \\ + \hline + 0 & 1 & 1 & 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 \\ + \hline + + 1 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\ + \hline + 1 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ + \hline + \end{tabularx} + \end{table} + \subsubsection{Состояния} Всего было выделено 7 состояний ($S = \{s_0, s_1, s_2, s_3, s_4, s_5, s_6, s_7\}$) со следующими значениями: