From 754e9dbbd36027b5baa10db296cd732c3fd7472d Mon Sep 17 00:00:00 2001
From: Arity-T <tish.mainmail@gmail.com>
Date: Fri, 20 Dec 2024 03:47:19 +0300
Subject: [PATCH] =?UTF-8?q?=D0=94=D0=BE=D0=BF=D0=BE=D0=BB=D0=BD=D0=B8?=
 =?UTF-8?q?=D0=BB=20=D1=82=D0=B0=D0=B1=D0=BB=D0=B8=D1=86=D1=83=20=D0=BF?=
 =?UTF-8?q?=D0=B5=D1=80=D0=B5=D1=85=D0=BE=D0=B4=D0=BE=D0=B2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 coursework/report.tex | 50 +++++++++++++++++++++++++++----------------
 1 file changed, 32 insertions(+), 18 deletions(-)

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