From 76f9c0f6f3ce60b96a87d9a65688fa4b0808f99e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 3 Sep 2015 22:52:39 +0200
Subject: Additions: 9.3,9.4,9.5,9.6; CleanTuringMachines; fixes

---
 ex9-5.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 ex9-5.tex

(limited to 'ex9-5.tex')

diff --git a/ex9-5.tex b/ex9-5.tex
new file mode 100644
index 0000000..c3a56b7
--- /dev/null
+++ b/ex9-5.tex
@@ -0,0 +1,14 @@
+\begin{solution}{5}
+    \begin{enumerate}
+        \item The intuition would be: for the first $a$ that we read, mark it with $X$ and mark the next $b$ we see with $Y$. Go back to the beginning and repeat. When we read a $Y$ instead of an $a$, we have finished the $a^i$ part of the string, and we can go to a final state. The machine should check that there is a $b$ for every $a$ and that the $a$s and $b$s are consecutive. 
+            
+            %todo draw machine
+
+        \setcounter{enumi}{2}
+
+        \item The intuition would be: find a $b$ for every $a$, mark both with $X$. Repeat until there are no $a$s left. Then check that there are also no $b$s left.
+
+            %todo draw machine
+    \end{enumerate}
+\end{solution}
+
-- 
cgit v1.2.3