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 9dddaf1..9bd9fee 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -1,12 +1,18 @@
-\input{an_assignment.tex}
+\subsection{Vertaling}
+Hieronder beschrijven we de vertaal stappen om van een arbitrair \textit{While}
+programma een \textit{Piet} te maken.
 
-\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{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}
@@ -16,3 +22,5 @@ zijn eventueel door zwarte blokken gestuurd.\\
 \input{an_arit_expr.tex}
 
 \input{an_variabelen.tex}
+
+\input{an_faculteit.tex}