\subsection{Variabelen}
\subsubsection{Verschil met \textit{While}}
-Omdat \textit{Piet} geen variabelen opslag kent moeten we de variabelenopslag
+Omdat \textit{Piet} geen variabelenopslag kent moeten we de variabelenopslag
van \textit{While} emuleren. Dit wordt gedaan door steeds een diepte toe te
-kennen aan variabelen en bij het assignen van een variabele wordt deze in de
+kennen aan variabelen en bij het toewijzen van een variabele wordt deze in de
stack gestopt en onthouden welke diepte hij heeft om het zo via de onderstaande
-algorithmen op te kunnen rakelen. Binnen de algorithmen wordt $n$ gebruikt als
-diepte van de variabele(beginnende bij $1$) en $m$ als het aantal variabelen op
+algoritmen op te kunnen halen. Binnen de algoritmen wordt $n$ gebruikt als
+diepte van de variabele (beginnende bij $1$) en $m$ als het aantal variabelen op
de stack bij aanvang van het opvragen.
-\subsubsection{Unair vaste waarde}
-Bij het opvragen van een vaste waar
-$Get(n)$
+\subsubsection{Unair opvragen van een natuurlijk getal}
+Het opvragen van een vaste waarde gaat doormiddel van de $get(n)$ functie. Deze functie haalt de waarde op van variabele \textit{n}.
+
\subsubsection{Unair}
+\label{subsec:unair}
Als er een operator uitgevoerd wordt die slechts \'e\'en waarde vraagt van de
stack hoeft er slechts \'e\'en waarde boven aan de stack gezet te worden en dit
gaat met de volgende operaties bij $n>1$:\\
& & & & & & 3 & \\\hline
\end{tabular}
\end{table}
-Voor $n=1$ voldoen de volgende operaties:\\
+Voor $n=1$ voldoet de volgende operatie:\\
dup\\
-Dit algorithme beschrijven we als $Un(n)$ voor later gebruik.
+Dit algoritme beschrijven we als $Un(n)$ voor later gebruik.
\subsubsection{Binair}
Als er een operator uitgevoerd wordt die twee waardes vraagt van de stack
-worden deze boven elkaar boven op de stack gekopieert met de volgende
+worden deze boven elkaar boven op de stack gekopieerd met de volgende
operaties:\\
$Un(n_1), Un(n_2+1)$
\begin{table}[H]
\subsubsection{Assignment}
Het toewijzen van waarden aan variabelen kost in \textit{Piet} een stuk meer
-werk omdat \textit{Piet} alle variabelen in een stack bewaard. Net als bij het
+werk omdat \textit{Piet} alle variabelen in een stack bewaart. Net als bij het
opvragen hebben de variabelen een nummer in plaats van een naam. Bij een
toewijzing wordt de waarde, $m$, bovenop de stack toegewezen aan de variabele
met de diepte, $n$, gerekend zonder de waarde bovenop de stack mee te tellen.
\begin{landscape}
\subsubsection{Groot voorbeeld}
-We wijzen variabele $5$ de waarde van variabele $3$ $+$ variabele $2$ toe.
+We wijzen variabele $5$ de waarde van variabele $3$ $+$ variabele $2$ toe. Dit
+laat zien dat de verschillende beschreven variable functies ook in combinatie
+werken.
\begin{table}[H]
\centering
\caption{Groot voorbeeld}