Дополнил таблицу переходов

This commit is contained in:
2024-12-20 03:47:19 +03:00
parent 90110bd780
commit 754e9dbbd3

View File

@@ -193,36 +193,50 @@
\hline \hline
a & \textit{$s_0$: time} & \textit{$s_1$: minutes} & $z_0$ \\ a & \textit{$s_0$: time} & \textit{$s_1$: minutes} & $z_0$ \\
\hline \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$ \\ b & \textit{$s_0$: time} & \textit{$s_4$: sec-stop} & $z_0$ \\
\hline \hline
c & \textit{$s_0$: time} & \textit{$s_6$: display-off} & $z_0$ \\
\hline
a & \textit{$s_1$: minutes} & \textit{$s_2$: hours} & $z_0$ \\
\hline
b & \textit{$s_1$: minutes} & \textit{$s_1$: minutes} & $z_1$ \\
\hline
c & \textit{$s_1$: minutes} & \textit{$s_1$: minutes} & $z_0$ \\
\hline
a & \textit{$s_2$: hours} & \textit{$s_3$: weekday} & $z_0$ \\
\hline
b & \textit{$s_2$: hours} & \textit{$s_2$: hours} & $z_2$ \\
\hline
c & \textit{$s_2$: hours} & \textit{$s_2$: hours} & $z_0$ \\
\hline
a & \textit{$s_3$: weekday} & \textit{$s_0$: time} & $z_0$ \\
\hline
b & \textit{$s_3$: weekday} & \textit{$s_3$: weekday} & $z_3$ \\
\hline
c & \textit{$s_3$: weekday} & \textit{$s_3$: weekday} & $z_0$ \\
\hline
a & \textit{$s_4$: sec-stop} & \textit{$s_5$: sec-run} & $z_0$ \\
\hline
b & \textit{$s_4$: sec-stop} & \textit{$s_4$: sec-stop} & $z_4$ \\ b & \textit{$s_4$: sec-stop} & \textit{$s_4$: sec-stop} & $z_4$ \\
\hline \hline
a & \textit{$s_4$: sec-stop} & \textit{$s_5$: sec-run} & $z_0$ \\ c & \textit{$s_4$: sec-stop} & \textit{$s_4$: sec-stop} & $z_0$ \\
\hline \hline
a & \textit{$s_5$: sec-run} & \textit{$s_4$: sec-stop} & $z_0$ \\ a & \textit{$s_5$: sec-run} & \textit{$s_4$: sec-stop} & $z_0$ \\
\hline \hline
b & \textit{$s_5$: sec-run} & \textit{$s_0$: time} & $z_4$ \\ b & \textit{$s_5$: sec-run} & \textit{$s_0$: time} & $z_4$ \\
\hline \hline
c & \textit{$s_5$: sec-run} & \textit{$s_0$: time} & $z_0$ \\
\hline
c & \textit{$s_0$: time} & \textit{$s_6$: display-off} & $z_0$ \\ a & \textit{$s_6$: display-off} & \textit{$s_6$: display-off} & $z_0$ \\
\hline
b & \textit{$s_6$: display-off} & \textit{$s_6$: display-off} & $z_0$ \\
\hline \hline
c & \textit{$s_6$: display-off} & \textit{$s_0$: time} & $z_0$ \\ c & \textit{$s_6$: display-off} & \textit{$s_0$: time} & $z_0$ \\
\hline \hline