meer faculteit
[sec1415.git] / an_variabelen.tex
index 7c2ef97..b386acf 100644 (file)
@@ -8,10 +8,14 @@ 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
 de stack bij aanvang van het opvragen.
 
+\subsubsection{Unair vaste waarde}
+Bij het opvragen van een vaste waar
+$Get(n)$
+
 \subsubsection{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:\\
+gaat met de volgende operaties bij $n>1$:\\
 push $n$, push $n-1$, roll, dup, push $n+1$, push $1$, roll
 \begin{table}[H]
        \centering
@@ -32,8 +36,11 @@ push $n$, push $n-1$, roll, dup, push $n+1$, push $1$, roll
           &    &       &       &       &       & 3     &       \\\hline
        \end{tabular}
 \end{table}
+Voor $n=1$ voldoen de volgende operaties:\\
+dup\\
 Dit algorithme 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
@@ -69,7 +76,7 @@ werk omdat \textit{Piet} alle variabelen in een stack bewaard. 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.
-En dat gaat met de volgende operaties:\\
+En dat gaat met de volgende operaties voor $n>1$:\\
 push $m$, push $n+1$, push $n$, roll, pop, push $n$, push $1$, roll
 \begin{table}[H]
        \centering
@@ -91,6 +98,9 @@ push $m$, push $n+1$, push $n$, roll, pop, push $n$, push $1$, roll
        \end{tabular}
 \end{table}
 
+Voor $n=1$ voldoen de volgende operaties:\\
+push $2$, push $1$, roll, pop
+
 \begin{landscape}
 \subsubsection{Groot voorbeeld}
 We wijzen variabele $5$ de waarde van variabele $3$ $+$ variabele $2$ toe.