stukje Piet' toegevoegd

[sec1415.git] / semantics.tex

diff --git a/semantics.tex b/semantics.tex
index 00eca8a..34acedc 100644 (file)
--- a/semantics.tex
+++ b/semantics.tex
@@ -102,12 +102,12 @@ Deze functie haalt de bovenste twee elementen van de stack en stopt 1 bovenop
 de stack als het tweede bovenste element een hogere waarde heeft als dat van het 
 bovenste element. Anders word 1 bovenop de stack gestopt.\\ 
 
-out number (output stack) functie (outnum, r. 79):\\
+out number (output stack) functie (outnum, r. 70):\\
 Deze functie past de output stack aan als er een integer naartoe geschreven word:\\
 $$\mathcal{OUTN_{SO}} : Stack \rightarrow Stack$$\\
 Deze functie haalt het bovenste element van de stack en stopt dit element bovenop de output stack.\\
 
-in number (stack) functie (innum, r. 84):\\
+in number (stack) functie (innum, r. 75):\\
 Deze functie past de stack aan als er een integer naartoe geschreven word:\\
 $$\mathcal{INN_S} : Stack \rightarrow Stack$$\\
 Deze functie haalt het bovenste element van de input stack en stopt dit element bovenop de output stack.\\
@@ -118,11 +118,11 @@ Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekreg
 
 \begin{alignat*}{2}
 {[comp^1_{sos}]}\qquad &
-\frac{\langle S_1, s\rangle \Rightarrow \langle S'_1, s'\rangle}
-{\langle S_1 ;S_2, s\rangle \Rightarrow \langle S'_1;S_2, s'\rangle}\\
+\frac{\langle S_2, s\rangle \Rightarrow \langle S'_2, s'\rangle}
+{\langle S_1 ;S_2, s\rangle \Rightarrow \langle S_1;S'_2, s'\rangle}\\
 {[comp^2_{sos}]}\qquad &
-\frac{\langle S_1, s\rangle \Rightarrow \langle s'\rangle}
-{\langle S_1 ;S_2, s\rangle \Rightarrow \langle S_2, s'\rangle}\\
+\frac{\langle S_2, s\rangle \Rightarrow \langle s'\rangle}
+{\langle S_1 ;S_2, s\rangle \Rightarrow \langle S_1, s'\rangle}\\
 {[pop_{sos}]}\qquad &
 \langle pop, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, s_o,\mathcal{D}(s)\rangle\\