update wiskundige functies

[sec1415.git] / syntax.tex

diff --git a/syntax.tex b/syntax.tex
index 080721a..9f1809e 100644 (file)
--- a/syntax.tex
+++ b/syntax.tex
@@ -36,7 +36,9 @@ die gedeeltelijk beschreven is in tabel \ref{tab:sy1}.
 Om de notatie leesbaar en overzichtelijk te houden beschrijven we de syntax
 niet in de oorspronkelijke kleuren notatie maar gebruiken we een woordelijke
 notatie. Dan ziet de grammatica er als volgt uit:\\
-$S ::= S_1 ; S_2\ |\ push\ |\ pop\ |\ add\ |\ subtract\
+$S ::= S_1 ; S_2\ |\ push \: n\ |\ pop\ |\ add\ |\ subtract\
 |\ multiply\ |\ divide\ |\\mod\ |\ not\ |\ greater\
 |\ pointer\ |\ switch\ |\ duplicate\ |\ roll\ |\\
 inchar\ |\ innum\ |\ outchar\ |\ outnum$\\ 
+
+Waarbij $n \in \mathbb{N}_1$.