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 (file)
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 (file)
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 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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}