ja

[sec1415.git] / analysis.tex

diff --git a/analysis.tex b/analysis.tex
index 58d649d..9dddaf1 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -1,2 +1,18 @@
-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.
+\input{an_assignment.tex}
+
+\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.\\
+\textbf{While} $skip$\\
+\textbf{Piet} {\color{white}\#}\\
+
+\input{an_compositie.tex}
+
+\input{an_if_statement.tex}
+
+\input{an_while_statement.tex}
+
+\input{an_arit_expr.tex}
+
+\input{an_variabelen.tex}