From: Marjolein Zwerver <marjolein.zwerver@student.ru.nl>
Date: Tue, 27 May 2014 21:13:29 +0000 (+0200)
Subject: kleine aanpassing layout
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=3c42598a7c5b36cd17bdba25b4a3a455a1f557eb;p=sec1415.git

kleine aanpassing layout
---

diff --git a/project.tex b/project.tex
index 85110fd..d4720b6 100644
--- a/project.tex
+++ b/project.tex
@@ -11,6 +11,7 @@
 \usepackage{lscape}
 \usepackage{fullpage}
 \usepackage{listings}
+\usepackage{amsmath}
 
 \graphicspath{{./img/}}
 
diff --git a/semantics.tex b/semantics.tex
index dfa4fc7..7812014 100644
--- a/semantics.tex
+++ b/semantics.tex
@@ -115,56 +115,59 @@ in number functie (innum, r. 83):\\
 
 Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekregels opstellen:\\
 
-$
-{[pop_{sos}]}\qquad
+
+
+\begin{alignat*}{2}
+{[pop_{sos}]}\qquad &
 \langle pop, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o,\mathcal{D}(s)\rangle\\
 {[add_{sos}]}\qquad
-\langle add, s_i, s_o, s\rangle \Rightarrow
+&\langle add, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{ADD}(s)\rangle\\
-{[subtract_{sos} ]}\qquad
+{[subtract_{sos} ]}\qquad &
 \langle subtract, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{SUB}(s)\rangle\\
-{[multiply_{sos}]}\qquad
+{[multiply_{sos}]}\qquad &
 \langle multiply, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{MUL}(s)\rangle\\
-{[divide_{sos}]} \qquad
+{[divide_{sos}]} \qquad &
 \langle divide, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{DIV}(s)\rangle\\
-{[mod_{sos}]} \qquad\qquad
+{[mod_{sos}]} \qquad &
 \langle mod, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{MOD}(s)\rangle\\
-{[duplicate_{sos}]} \qquad
+{[duplicate_{sos}]} \qquad &
 \langle duplicate, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{DUP}(s)\rangle\\
-{[not_{sos}]}\qquad\qquad
+{[not_{sos}]} \qquad &
 \langle not, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{NOT}(s)\rangle\\
-{[greater_{sos}]} \qquad
+{[greater_{sos}]} \qquad &
 \langle greater, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{GRE}(s)\rangle\\
-{[pointer_{sos}]} \qquad
+{[pointer_{sos}]} \qquad &
 \langle pointer, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{D}(s)\rangle\\
-{[push_{sos}]} \qquad
+{[push_{sos}]} \qquad &
 \langle push \: n, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{E}(n,s)\rangle\\
-{[roll_{sos}]} \qquad
+{[roll_{sos}]} \qquad &
 \langle roll, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, \mathcal{ROLL}(s)\rangle\\
-{[innum_{sos}]} \qquad
+{[innum_{sos}]} \qquad &
 \langle innum, s_i, s_o, s\rangle \Rightarrow
 \langle \mathcal{INN_{SI}}(s_i), s_o, \mathcal{INN_S}(s)\rangle\\
-{[outnum_{sos}]} \qquad
+{[outnum_{sos}]} \qquad &
 \langle outnum, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, \mathcal{OUTN_{SO}}(s_o),\mathcal{OUTN_S}(s)\rangle\\
-{[inchar_{sos}]} \qquad
+{[inchar_{sos}]} \qquad &
 \langle inchar, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, s\rangle\\
-{[outchar_{sos}]} \qquad
+{[outchar_{sos}]} \qquad &
 \langle outchar, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, s\rangle\\
-{[switch_{sos}]} \qquad
+{[switch_{sos}]} \qquad &
 \langle switch, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o, s\rangle\\
-$
+\end{alignat*}
+