From: Mart Lubbers Date: Thu, 12 Jun 2014 18:41:12 +0000 (+0200) Subject: mijn stukken gedaan, faculteit programma ook opgedeelt zodat de structuur duidelijk is X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=13c133e60856fa27724062c260e581f283b4fa26;p=sec1415.git 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 --- 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 --- 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 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 --- 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!