diff --git a/coursework/report.tex b/coursework/report.tex index e53d461..258425d 100644 --- a/coursework/report.tex +++ b/coursework/report.tex @@ -193,36 +193,50 @@ \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 + 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$ \\ \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 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 + 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 c & \textit{$s_6$: display-off} & \textit{$s_0$: time} & $z_0$ \\ \hline