From a6dc11860f547c322986dc42e89e9a30dfe092e3 Mon Sep 17 00:00:00 2001
From: Evi
Date: Fri, 29 Apr 2016 16:20:46 +0200
Subject: quotify

gedeeltelijke uitwerking quotify
---
 rulesquotify.tex | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'rulesquotify.tex')

diff --git a/rulesquotify.tex b/rulesquotify.tex
index 50acc22..0c0f09c 100644
--- a/rulesquotify.tex
+++ b/rulesquotify.tex
@@ -12,6 +12,29 @@ q - "Quotifies" the string on top of the stack,      so that it can be placed
 
 
 Er worden dus quotes om de string heen gezet. Als er in de oorspronkelijke string quotes stonden dan wordt voor iedere van deze quotes een "$\backslash$" geplaats. 
+Om de backslashes te zetten word gebruik gemaakt van de hulpfunctie quo
 
 Dit geeft de volgende regel:
+$$
+\begin{prooftree}
+	\trans
+		{\pgm}{\ip}{(\push{"quo (c s)"}{\stk'}, \str) }
+		{\ip}{\op}{\st}
+	\justifies
+	\trans
+		{\StmQuotify:\pgm}{\ip}{(\stk,\str)}
+		{\ip}{\op}{\st}
+	\using{\rquotifyns}
+	\qquad
+	\text{met (c s, stk') = pop (stk)
+	}
+\end{prooftree}
+$$
 
+$$
+	\quo {c} {s} =
+		\begin{cases}
+			\texttt{" c quo s}    & \text{als $c=\texttt{"}$} \\
+			\texttt{c quo s} & \text{anderszins}
+		\end{cases}
+$$
\ No newline at end of file
-- 
cgit v1.2.3