X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=an_while_statement.tex;h=e095820d250febd4611e001f0aed424905ca0678;hb=52253200d24afc83eadf205f3ff12629ace55019;hp=be40d1d1bf1b4ca720ceea59334af21b76f9e9da;hpb=fa30464d34a500fa48e54e9a4cfc487e30d2eef0;p=sec1415.git diff --git a/an_while_statement.tex b/an_while_statement.tex index be40d1d..e095820 100644 --- a/an_while_statement.tex +++ b/an_while_statement.tex @@ -1,18 +1,18 @@ \subsection{While statement} -De \textit{while} constructie in \textit{While} van de vorm while $b$ do $S$ -kan worden gerepresenteerd in \textit{Piet} door de representatie van $b$ na een -wit blokje te volgen door een pointer die op basis van het bovenste element op de -stack de richting van de interpreter aanpast. Op het laaste blokje van dit commando -volgen in 2 richtingen twee verschillende paden, waarbij 1 pad correspondeert met -$S$ en het andere pad met het einde van de loop. -In dit voorbeeld representeert het eerste blok een willekeurige boolean $b$, deze -word na een wit blokje gevolgt door het pointer commando. Hierna splitsen de paden -zich op: als de boolean 0 oplevert draait de richting van de interpreter 0 slagen met -de klok mee en gaat dus rechtdoor, als de boolean 1 oplevert draait van de richting -van de interpreter 1 slag met de klok mee en gaat dus naar rechts. Het pad na rechts -word na een aantal witte blokjes gevolgt door de representatie van $S$. Hierna volgt -weer een aantal witte blokjes waardoor het pad uiteindelijk uitkomt bij het begin van -boolean $b$.\\ +De \textit{while} constructie in \textit{While} van de vorm while $b$ do $S$ +kan worden gerepresenteerd in \textit{Piet} door de representatie van $b$ na +een wit blokje te volgen door een pointer die op basis van het bovenste element +op de stack de richting van de interpreter aanpast. Op het laatste blokje van +dit commando volgen in twee richtingen twee verschillende paden, waarbij +\'e\'en pad correspondeert met $S$ en het andere pad met het einde van de loop. +In dit voorbeeld representeert het eerste blok een willekeurige boolean $b$, +deze wordt na een wit blokje gevolgd door het pointer commando. Hierna splitsen +de paden zich op: als de boolean 0 oplevert draait de richting van de +interpreter 0 slagen met de klok mee en gaat dus rechtdoor, als de boolean 1 +oplevert draait de richting van de interpreter 1 slag met de klok mee en gaat +dus naar rechts. Het pad naar rechts wordt na een aantal witte blokjes gevolgd +door de representatie van $S$. Hierna volgt weer een aantal witte blokjes +waardoor het pad uiteindelijk uitkomt bij het begin van boolean $b$.\\ \textbf{While} while $b$ do $S$ \\ @@ -27,4 +27,4 @@ boolean $b$.\\ \color{lgray}\_ & \color{lgray}\_ & \color{lgray}\_ & \color{dorange}$\ast$ & \color{lgray}$\ast$ & \color{orange}$\ast$ & \color{lgray}\_ & \color{lgray}\_ \\ & & & \color{lgray}$\ast$ & \color{lgray}$\ast$ & \color{lgray}$\ast$ \\ & & & \color{lgray}$\ast$ & \color{lgray}$\ast$ & \color{lgray}$\ast$ \\ -\end{tabular} \ No newline at end of file +\end{tabular}