stukje Piet' toegevoegd

[sec1415.git] / syntax.tex

diff --git a/syntax.tex b/syntax.tex
index 080721a..455e959 100644 (file)
--- a/syntax.tex
+++ b/syntax.tex
@@ -36,7 +36,19 @@ die gedeeltelijk beschreven is in tabel \ref{tab:sy1}.
 Om de notatie leesbaar en overzichtelijk te houden beschrijven we de syntax
 niet in de oorspronkelijke kleuren notatie maar gebruiken we een woordelijke
 notatie. Dan ziet de grammatica er als volgt uit:\\
-$S ::= S_1 ; S_2\ |\ push\ |\ pop\ |\ add\ |\ subtract\
+$S ::= S_1 ; S_2\ |\ push \: n\ |\ pop\ |\ add\ |\ subtract\
 |\ multiply\ |\ divide\ |\\mod\ |\ not\ |\ greater\
 |\ pointer\ |\ switch\ |\ duplicate\ |\ roll\ |\\
 inchar\ |\ innum\ |\ outchar\ |\ outnum$\\ 
+
+Waarbij $n \in \mathbb{N}_1$.
+
+\subsection{Piet'}
+Omdat sommige simpele expressies in \textit{While} veel regels in beslag nemen 
+als deze omgeschreven zouden worden naar een semantisch equivalent programma 
+in de bovengenoemde tussentaal hebben we ook nog een tweede syntax: Piet'. 
+In Piet' worden de commando's die beschreven worden in de tussentaal aangegeven 
+door de eerste 3 letters van het commando, met uitzondering van het commando 
+\textit{push}. Voor het ophalen van een variabele zoals staat beschreven in 
+subsectie \ref{subsec:unair} gebruiken we ook \textit{get n}. De commando's 
+worden gescheiden door komma's inplaats van puntkomma's.