1 \subsection{Variabelen
}
2 \subsubsection{Verschil met
\textit{While
}}
3 Omdat
\textit{Piet
} geen variabelen opslag kent moeten we de variabelenopslag
4 van
\textit{While
} emuleren. Dit wordt gedaan door steeds een diepte toe te
5 kennen aan variabelen en bij het assignen van een variabele wordt deze in de
6 stack gestopt en onthouden welke diepte hij heeft om het zo via de onderstaande
7 algorithmen op te kunnen rakelen. Binnen de algorithmen wordt $n$ gebruikt als
8 diepte van de variabele(beginnende bij $
1$) en $m$ als het aantal variabelen op
9 de stack bij aanvang van het opvragen.
11 \subsubsection{Unair vaste waarde
}
12 Bij het opvragen van een vaste waar
17 Als er een operator uitgevoerd wordt die slechts \'e\'en waarde vraagt van de
18 stack hoeft er slechts \'e\'en waarde boven aan de stack gezet te worden en dit
19 gaat met de volgende operaties bij $n>
1$:\\
20 push $n$, push $n-
1$, roll, dup, push $n+
1$, push $
1$, roll
23 \caption{Voorbeeld, $n=
3$
}
25 \begin{tabular
}{|c|c|c|c|c|c|c|c|
}
28 push $
3$ & push $
3-
1$ & roll & dup & push $
3+
1$ & push $
1$ & roll\\
30 5 &
3 &
2 &
2 &
2 &
4 &
1 &
2 \\
\hline
31 6 &
5 &
3 &
5 &
2 &
2 &
4 &
5 \\
\hline
32 2 &
6 &
5 &
6 &
5 &
2 &
2 &
6 \\
\hline
33 1 &
2 &
6 &
1 &
6 &
5 &
2 &
2 \\
\hline
34 3 &
1 &
2 &
3 &
1 &
6 &
5 &
1 \\
\hline
35 &
3 &
1 & &
3 &
1 &
6 &
3 \\
\hline
36 & &
3 & & &
3 &
1 & \\
\hline
37 & & & & & &
3 & \\
\hline
40 Voor $n=
1$ voldoen de volgende operaties:\\
42 Dit algorithme beschrijven we als $Un(n)$ voor later gebruik.
45 \subsubsection{Binair
}
46 Als er een operator uitgevoerd wordt die twee waardes vraagt van de stack
47 worden deze boven elkaar boven op de stack gekopieert met de volgende
52 \caption{Voorbeeld, $n_1=
2, n_2=
4$
}
54 \begin{tabular
}{|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|
}
56 &
\multicolumn{7}{c|
}{$Un(
2)$
} &
\multicolumn{7}{c|
}{$Un(
4+
1)$
}\\
59 push $
2$ & push $
3$ & roll & dup & push $
3$ & push $
1$ & roll &
60 push $
5$ & push $
4$ & roll & dup & push $
6$ & push $
1$ & roll\\
62 5 &
2 &
3 &
6 &
6 &
3 &
1 &
6 &
5 &
4 &
1 &
1 &
6 &
1 &
1 \\
\hline
63 6 &
5 &
2 &
5 &
6 &
6 &
3 &
5 &
6 &
5 &
6 &
1 &
1 &
6 &
6 \\
\hline
64 2 &
6 &
5 &
2 &
5 &
6 &
6 &
6 &
5 &
6 &
5 &
6 &
1 &
1 &
5 \\
\hline
65 1 &
2 &
6 &
1 &
2 &
5 &
6 &
2 &
6 &
5 &
6 &
5 &
6 &
1 &
6 \\
\hline
66 3 &
1 &
2 &
3 &
1 &
2 &
5 &
1 &
2 &
6 &
2 &
6 &
5 &
6 &
2 \\
\hline
67 &
3 &
1 & &
3 &
1 &
2 &
3 &
1 &
2 &
3 &
2 &
6 &
5 &
1 \\
\hline
68 & &
3 & & &
3 &
1 & &
3 &
1 & &
3 &
2 &
6 &
3 \\
\hline
69 & & & & & &
3 & & &
3 & & &
3 &
2 & \\
\hline
70 & & & & & & & & & & & & &
3 & \\
\hline
74 \subsubsection{Assignment
}
75 Het toewijzen van waarden aan variabelen kost in
\textit{Piet
} een stuk meer
76 werk omdat
\textit{Piet
} alle variabelen in een stack bewaard. Net als bij het
77 opvragen hebben de variabelen een nummer in plaats van een naam. Bij een
78 toewijzing wordt de waarde, $m$, bovenop de stack toegewezen aan de variabele
79 met de diepte, $n$, gerekend zonder de waarde bovenop de stack mee te tellen.
80 En dat gaat met de volgende operaties voor $n>
1$:\\
81 push $m$, push $n+
1$, push $n$, roll, pop, push $n$, push $
1$, roll
84 \caption{Voorbeeld, $n=
4, m=
7$
}
86 \begin{tabular
}{|c|c|c|c|c|c|c|c|c|
}
88 init & push
7 & push
5 & push
3 & roll & pop & push
4 & push
1 & roll\\
90 5 &
7 &
5 &
3 &
9 &
7 &
4 &
1 &
5 \\
\hline
91 3 &
5 &
7 &
5 &
7 &
5 &
7 &
4 &
3 \\
\hline
92 4 &
3 &
5 &
7 &
5 &
3 &
5 &
7 &
4 \\
\hline
93 9 &
4 &
3 &
5 &
3 &
4 &
3 &
5 &
7 \\
\hline
94 1 &
9 &
4 &
3 &
4 &
1 &
4 &
3 &
1 \\
\hline
95 5 &
1 &
9 &
4 &
1 &
5 &
1 &
4 &
5 \\
\hline
96 &
5 &
1 &
9 &
5 & &
5 &
1 & \\
\hline
97 & &
5 &
1 & & & &
5 & \\
\hline
98 & &
5 & & & & & & \\
\hline
102 Voor $n=
1$ voldoen de volgende operaties:\\
103 push $
2$, push $
1$, roll, pop
106 \subsubsection{Groot voorbeeld
}
107 We wijzen variabele $
5$ de waarde van variabele $
3$ $+$ variabele $
2$ toe.
110 \caption{Groot voorbeeld
}
112 \begin{tabular
}{|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|
}
114 &
\multicolumn{7}{c|
}{$Un(
3)$
} &
115 \multicolumn{7}{c|
}{$Un(
2)$
} &
117 \multicolumn{7}{c|
}{$Ass(
5)$
}\\
120 push $
3$ & push $
2$ & roll & dup & push $
4$ & push $
1$ & roll &
121 push $
3$ & push $
2$ & roll & dup & push $
4$ & push $
1$ & roll &
123 push $
6$ & push $
5$ & roll & pop & push $
5$ & push $
1$ & roll\\
125 4 &
3 &
2 &
1 &
1 &
4 &
1 &
1 &
3 &
2 &
6 &
6 &
4 &
1 &
6 &
7 &
6 &
5
126 &
7 &
7 &
5 &
1 &
7 \\
\hline
127 6 &
4 &
3 &
4 &
1 &
1 &
4 &
4 &
1 &
3 &
1 &
6 &
6 &
4 &
1 &
4 &
7 &
6
128 &
7 &
4 &
7 &
5 &
4 \\
\hline
129 1 &
6 &
4 &
6 &
4 &
1 &
1 &
6 &
4 &
1 &
4 &
1 &
6 &
6 &
4 &
6 &
4 &
7
130 &
4 &
6 &
4 &
7 &
6 \\
\hline
131 2 &
1 &
6 &
1 &
6 &
4 &
1 &
1 &
6 &
4 &
1 &
4 &
1 &
6 &
6 &
1 &
6 &
4
132 &
6 &
1 &
6 &
4 &
1 \\
\hline
133 7 &
2 &
1 &
2 &
1 &
6 &
4 &
2 &
1 &
6 &
2 &
1 &
4 &
1 &
1 &
2 &
1 &
6
134 &
1 &
2 &
1 &
6 &
2 \\
\hline
135 8 &
7 &
2 &
7 &
2 &
1 &
6 &
7 &
2 &
1 &
7 &
2 &
1 &
4 &
2 &
7 &
2 &
1
136 &
2 &
8 &
2 &
1 &
7 \\
\hline
137 &
8 &
7 &
8 &
7 &
2 &
1 &
8 &
7 &
2 &
8 &
7 &
2 &
1 &
7 &
8 &
7 &
2
138 &
8 & &
8 &
2 &
8 \\
\hline
139 & &
8 & &
8 &
7 &
2 & &
8 &
7 & &
8 &
7 &
2 &
8 & &
8 &
7
141 & & & & &
8 &
7 & & &
8 & & &
8 &
7 & & & &
8
143 & & & & & &
8 & & & & & & &
8 & & & &