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 58d649d..9bd9fee 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -1,2 +1,26 @@
-Voor onze analyse gaan we bewijzen dat voor elk programma in de taal While een semantisch equivalent programma in de taal Piet bestaat. 
-Dit gaan we doen door voor elke constructie in While een programma in Piet te geven en vervolgens te bewijzen dat deze semantisch equivalent zijn met behulp van bewijsrijen in sos.
+\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}
+
+\input{an_while_statement.tex}
+
+\input{an_arit_expr.tex}
+
+\input{an_variabelen.tex}
+
+\input{an_faculteit.tex}