mijn stukken gedaan, faculteit programma ook opgedeelt zodat de structuur duidelijk is

diff --git a/an_faculteit.tex b/an_faculteit.tex
index 72ce647..605eedb 100644 (file)
--- a/an_faculteit.tex
+++ b/an_faculteit.tex
@@ -97,6 +97,25 @@ Wat in \textit{Piet} er uit ziet als in Figuur~\ref{fig:img3}
        width=256px]{img3.png}}
 \end{figure}
 
+\begin{figure}[H]
+       \caption{Faculteit vanuit \textit{While} naar \textit{Piet}(Geannoteerd)}
+       \label{fig:img5}
+       \centering
+       \fbox{\includegraphics[natheight=320px, natwidth=256px, height=160px,
+       width=128px]{img5.png}}
+\end{figure}
+De code blokken komen als volgt overeen met stukken\textit{While} code.\\
+\begin{tabular}{ll}
+       A & \lstinline{x:=5; y:=1}\\
+       B & \lstinline{$\neg$(x=1)}\\
+       C & \lstinline{y:=y*x}\\
+       D & \lstinline{x:=x-1}\\
+       E & het stukje achter de while loop, hierin printen we de uitkomst zodat we
+       er ook nog wat aan hebben, dit gebeurt in het originelen \textit{While}
+       programma niet. Het pyramidevormige stuk zorgt voor een terminatie\\
+       F & \lstinline{while$neg$(x=1) do(y:=y*x; x:=x-1)}
+\end{tabular}
+
 \begin{landscape}
 De afleidingsrij voor 1! ziet er als volgt uit:\\
 $

diff --git a/analysis.tex b/analysis.tex
index 9bd9fee..af51000 100644 (file)
--- a/analysis.tex
+++ b/analysis.tex
@@ -3,7 +3,7 @@ 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
+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.
@@ -11,7 +11,12 @@ volgende overgang.
 \textbf{Piet} {\color{white}\#}\\
 
 Doormiddel van \textit{skip} en bochten kunnen code blokken met elkaar
-verbonden worden. 
+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}
 

diff --git a/img/img5.png b/img/img5.png
new file mode 100644 (file)
index 0000000..4acb41e
Binary files /dev/null and b/img/img5.png differ

diff --git a/todo.txt b/todo.txt
index 81db937..4400afa 100644 (file)
--- a/todo.txt
+++ b/todo.txt
@@ -1,6 +1,6 @@
-Mart: Bochten uitleggen(analysis.tex)
-Mart: Semantics(marjolein)
-Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex)
+KLAAR - Mart: Bochten uitleggen(analysis.tex)
+KLAAR - Mart: Semantics(marjolein)
+KLAAR - Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex)
 Marjolein: Get functie uitleggen in unair
 Marjolein: Kijken naar de laatste zaken over dat clean gebeuren
 Marjolein: analyse voor 2!