From: Mart Lubbers Date: Thu, 8 May 2014 17:41:19 +0000 (+0200) Subject: analysis files X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=c1a5eb0102003f81b1c9e3edc711d104751662d7;p=sec1415.git analysis files --- diff --git a/an_arit_expr.tex b/an_arit_expr.tex new file mode 100644 index 0000000..2211e8a --- /dev/null +++ b/an_arit_expr.tex @@ -0,0 +1 @@ +\subsection{Aritmatische expressies en booleaanse waarden} diff --git a/an_assignment.tex b/an_assignment.tex new file mode 100644 index 0000000..b13c5f4 --- /dev/null +++ b/an_assignment.tex @@ -0,0 +1 @@ +\subsection{Assignment} diff --git a/an_compositie.tex b/an_compositie.tex new file mode 100644 index 0000000..33f297b --- /dev/null +++ b/an_compositie.tex @@ -0,0 +1 @@ +\subsection{Compositie} diff --git a/an_if_statement.tex b/an_if_statement.tex new file mode 100644 index 0000000..212a1f7 --- /dev/null +++ b/an_if_statement.tex @@ -0,0 +1 @@ +\subsection{If statement} diff --git a/an_variabelen.tex b/an_variabelen.tex new file mode 100644 index 0000000..c3115d1 --- /dev/null +++ b/an_variabelen.tex @@ -0,0 +1 @@ +\subsection{Variabelen} diff --git a/an_while_statement.tex b/an_while_statement.tex new file mode 100644 index 0000000..d58071b --- /dev/null +++ b/an_while_statement.tex @@ -0,0 +1 @@ +\subsection{While statement} diff --git a/analysis.tex b/analysis.tex index 58d649d..9dddaf1 100644 --- a/analysis.tex +++ b/analysis.tex @@ -1,2 +1,18 @@ -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. +\input{an_assignment.tex} + +\subsection{Skip} +De \textit{Skip} is gelijk aan een enkel wit blokje. Als er naar een locatie +gegaan moet worden voor de volgende operatie kunnen het ook meerdere blokjes +zijn eventueel door zwarte blokken gestuurd.\\ +\textbf{While} $skip$\\ +\textbf{Piet} {\color{white}\#}\\ + +\input{an_compositie.tex} + +\input{an_if_statement.tex} + +\input{an_while_statement.tex} + +\input{an_arit_expr.tex} + +\input{an_variabelen.tex}