From 45dda8feaa8fca31e15fc28cbe382b43d610123a Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:21:00 +0200
Subject: small fix

---
 rulesexec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rulesexec.tex b/rulesexec.tex
index b4f5d1a..f24bafd 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -50,9 +50,9 @@ Het tweede geval van $\parsepgmop$ zorgt ervoor dat een programma-string spaties
 $$
 	\parsestr s =
 		\begin{cases}
-			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$'~'''}\\
+			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$`''`}\\
             `\backslash`~`''`~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~`''`}\\
-            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char$}\\
+            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`\}$}\\
 		\end{cases}
 $$
 Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen.
-- 
cgit v1.2.3


From e0ddd93e7fc4dabeae211a4a382b8c85195647af Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:25:34 +0200
Subject: another small fix

---
 rulesexec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rulesexec.tex b/rulesexec.tex
index f24bafd..9b4b939 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -51,8 +51,8 @@ $$
 	\parsestr s =
 		\begin{cases}
 			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$`''`}\\
-            `\backslash`~`''`~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~`''`}\\
-            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`\}$}\\
+            `\backslash`~k~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~$k$ en $k\in\Char$}\\
+            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`, `\backslash`\}$}\\
 		\end{cases}
 $$
 Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen.
-- 
cgit v1.2.3


From 89b2f8d6b9f263ced0c4a6a84dec7ba568ef1b56 Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:32:35 +0200
Subject: another small fix

---
 rulesexec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rulesexec.tex b/rulesexec.tex
index 9b4b939..47b77f3 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -1,11 +1,11 @@
-% vim: set spelllang=nl:
+% vim: set spelllang=nl:
 \subsection{\texttt{Exec}}
 
 \begin{quote}
 	x - Executes the string at the top of the stack as a Smurf program. The stack and variable store are erased.
 \end{quote}
 
-We halen een strings van de stack en gebruiken $\parsepgmop$ om dit in een programma om te zetten. Dit wordt het nieuwe programma om uitgevoerd te worden. Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is.
+We halen een string van de stack en gebruiken $\parsepgmop$ om dit in een programma om te zetten. Dit wordt het nieuwe programma om uitgevoerd te worden. Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is.
 
 $$
 \begin{prooftree}
-- 
cgit v1.2.3