semantics aangetikt maar niet gedaan, analysis mee begonnen, skip klaar en compositie ook

[sec1415.git] / analysis.tex

diff --git a/analysis.tex b/analysis.tex
index 2d8a69b..9bd9fee 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -1,10 +1,18 @@
-\subsection{Skip}
-De \textit{Skip} is gelijk aan een enkel wit blokje. Als er naar een locatie
-gegaan moet worden voor de volgende operatie kunnen het ook meerdere blokjes
-zijn eventueel door zwarte blokken gestuurd.\\
+\subsection{Vertaling}
+Hieronder beschrijven we de vertaal stappen om van een arbitrair \textit{While}
+programma een \textit{Piet} te maken.
+
+\subsection{Skip en logistiek}
+De \textit{Skip} is gelijk aan een of meer witte blokjes gevolgd niet wit
+blokje.  Het witte blokje laat piet niks doen en het eerstvolgende niet witte
+blokje zorgt ervoor dat de interpreter een aanknopingspunt heeft voor de
+volgende overgang.
 \textbf{While} $skip$\\
 \textbf{Piet} {\color{white}\#}\\
 
+Doormiddel van \textit{skip} en bochten kunnen code blokken met elkaar
+verbonden worden. 
+
 \input{an_compositie.tex}
 
 \input{an_if_statement.tex}