laatste kleine aanpassingen

[sec1415.git] / analysis.tex

diff --git a/analysis.tex b/analysis.tex
index 58d649d..af51000 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -1,2 +1,31 @@
-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. Bochten zijn tunnels van zwart, dit zorgt ervoor dat de
+direction pointer een andere kant op gaat en er twee losse code blokken met
+elkaar verbonden kunnen worden.\\
+De plaatsing van de code blokken hebben we nu geen aandacht aan besteed, dit
+zou geregeld kunnen worden door ieder arbitrair ingewikkelde graaf teken
+algoritme.
+
+\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}