From: Mart Lubbers Date: Mon, 19 May 2014 17:40:49 +0000 (+0200) Subject: intro errors gefixed X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f051a8460b9575cae31163616b41230bb5651d57;p=sec1415.git intro errors gefixed --- diff --git a/AdbeRdr9.5.5-1_i386linux_enu.deb b/AdbeRdr9.5.5-1_i386linux_enu.deb new file mode 100644 index 0000000..e2a3fe9 Binary files /dev/null and b/AdbeRdr9.5.5-1_i386linux_enu.deb differ diff --git a/an_faculteit.tex b/an_faculteit.tex new file mode 100644 index 0000000..b6c0534 --- /dev/null +++ b/an_faculteit.tex @@ -0,0 +1,23 @@ +\subsection{Faculteit} +Als we de analyse op een compleet programma toepassen komt er een \textit{Piet} +programma uit dat behoorlijk fors is maar netjes zijn werk doet. Dit programma +berekent de faculteit van $x$ en stopt dat uiteindelijk in $y$. +\begin{lstlisting}[ + mathescape=true, + basicstyle=\scriptsize, + keepspaces=true, + columns=flexible, + numbers=left, + numbersep=2pt, + title=Faculteit in \textit{While}, + ] +x:=5; +y:=1; +while $\neg$(x=1) +do ( + y:=y*x; + x:=x-1 +) +\end{lstlisting} + +In piet ziet dit er als volgt uit... diff --git a/analysis.tex b/analysis.tex index 4a709a2..2d8a69b 100644 --- a/analysis.tex +++ b/analysis.tex @@ -14,3 +14,5 @@ zijn eventueel door zwarte blokken gestuurd.\\ \input{an_arit_expr.tex} \input{an_variabelen.tex} + +\input{an_faculteit.tex} diff --git a/introduction.tex b/introduction.tex index e5c683d..a6c5686 100644 --- a/introduction.tex +++ b/introduction.tex @@ -12,28 +12,28 @@ zijn doel nastreeft is bijvoorbeeld het volgende programma dat het woord \subsection{Beschrijving en vergelijking met \textit{While}} \textit{Piet} en \textit{While} zijn beide imperatieve talen maar zijn toch erg -verschilled als het gaat om variabelenopslag en instructies. \textit{Piet} +verschillend als het gaat om variabelenopslag en instructies. \textit{Piet} slaat zijn variabelen op in een stack waar \textit{While} dit niet doet. In een -staat in \textit{While} kan iedere gedeclareerde variabele opgevraagd worden, -omdat \textit{Piet} de variabelen in een stack opslaat kan er alleen maar de -bovenste waarde opgevraagd worden.\\ +toestand in \textit{While} kan iedere gedeclareerde variabele opgevraagd +worden. Omdat \textit{Piet} de variabelen in een stack opslaat kan er alleen +maar de bovenste waarde opgevraagd worden.\\ In \textit{Piet} is een stack een geordende rij van gehele getallen. De stack -gedraagd zich volgens het LIFO(Last in First Out) principe werkt wat inhoudt -dat er slechts \'e\'en element per keer kan worden opgevraagd en dat dat alleen -het eerste element kan zijn.\\ +gedraagt zich volgens het LIFO(Last in First Out) principe wat inhoudt dat er +slechts \'e\'en element per keer kan worden opgevraagd en dat dat alleen het +laatst toegevoegde element kan zijn.\\ Instructies worden gegeven door het binnengaan van een nieuwe codel \footnote{Een codel is een blok $n\times n$ pixels waarbij $n\in\mathbb{N}$, een argument aan de compiler bepaalt de waarde van $n$. De standaard waarde is -$1$} als de kleur van de nieuwe codel wit of hetzelfde is als de codel die -verlaten word zal er niks gebeuren, is de codel zwart dan wordt er een nieuwe +$1$} Als de kleur van de nieuwe codel wit of hetzelfde is als de codel die +verlaten wordt zal er niks gebeuren, is de codel zwart dan wordt er een nieuwe richting gekozen door de interpreter. Alle andere kleuren beschrijven een -overgang die te beschrijven is in twee parameter; tint en intensiteit. Beide -parameters zijn cyclisch, wat betekent dat de opvolger van de grootste -waarde de kleinste waarde is. Iedere mogelijke overgang beschrijft een -instructie voor de interpreter. Deze overgangen zijn beschreven in tabel +overgang die te beschrijven is in twee parameters; tint en intensiteit. Beide +parameters zijn cyclisch, wat betekent dat de opvolger van de grootste waarde +de kleinste waarde is. Iedere mogelijke overgang beschrijft een instructie voor +de interpreter. Deze overgangen zijn beschreven in tabel \ref{tab:in1}. -\begin{table}[h!] +\begin{table}[H] \caption{Beide overgangcykels} \label{tab:in1} \centering @@ -43,9 +43,9 @@ instructie voor de interpreter. Deze overgangen zijn beschreven in tabel \end{itemize} \end{table} -De instructies die de overgangen uitdrukken staan beschreven in de onderstaande -tabel \ref{tab:in2}. -\begin{table}[h!] +De instructies die de overgangen uitdrukken staan beschreven in de tabel +\ref{tab:in2}. +\begin{table}[H] \caption{Commando's} \label{tab:in2} \centering diff --git a/project.tex b/project.tex index 27183f1..40bb852 100644 --- a/project.tex +++ b/project.tex @@ -10,6 +10,7 @@ \usepackage{float} \usepackage{lscape} \usepackage{fullpage} +\usepackage{listings} \graphicspath{{./img/}} @@ -38,7 +39,7 @@ \author{Mart Lubbers\and Marjolein Zwerver} \title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}} -\subtitle{Eerste opzet} +%\subtitle{Eerste opzet} \date{\today} \begin{document} diff --git a/syntax.tex b/syntax.tex index af2be3c..8f8c696 100644 --- a/syntax.tex +++ b/syntax.tex @@ -1,6 +1,6 @@ \subsection{Originele Syntax} De ware syntax voor piet is makkelijk te beschrijven in een zeer grote tabel -jie gedeeltelijk beschreven is in tabel \ref{tab:sy1}. +die gedeeltelijk beschreven is in tabel \ref{tab:sy1}. \begin{table}[h] \caption{Gedeeltelijke ware syntax van \textit{Piet}} \label{tab:sy1}