laatste kleine aanpassingen

[sec1415.git] / semantics.tex

diff --git a/semantics.tex b/semantics.tex
index 34acedc..994aeb6 100644 (file)
--- a/semantics.tex
+++ b/semantics.tex
@@ -112,8 +112,6 @@ 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.\\
 
-(outchar, inchar)\\
-
 Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekregels opstellen:\\
 
 \begin{alignat*}{2}
@@ -168,11 +166,5 @@ Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekreg
 {[outnum_{sos}]} \qquad &
 \langle outnum, s_i, s_o, s\rangle \Rightarrow
 \langle s_i, \mathcal{OUTN_{SO}}(s_o),\mathcal{D}(s)\rangle\\
-{[inchar_{sos}]} \qquad &
-\langle inchar, s_i, s_o, s\rangle \Rightarrow
-\langle s_i, s_o, s\rangle\\
-{[outchar_{sos}]} \qquad &
-\langle outchar, s_i, s_o, s\rangle \Rightarrow
-\langle s_i, s_o, s\rangle\\
 \end{alignat*}