Start werkstuk

1 files changed, 24 insertions, 0 deletions

diff --git a/defsyn.tex b/defsyn.tex
new file mode 100644
index 0000000..6623c1e
--- /dev/null
+++ b/defsyn.tex
@@ -0,0 +1,24 @@
+% vim: set spelllang=nl:
+\subsection{Syntax}
+\label{sec:def:syn}
+
+We definiëren de volgende syntax:
+
+\setlength{\grammarindent}{5em}
+\begin{grammar}
+	<Pgm> ::= <Stm><Pgm> | $\lambda$
+
+	<Stm> ::= `Push' <String>
+		\alt `Cat' | `Head' | `Tail' | `Quotify'
+		\alt `Put' | `Get'
+		\alt `Input' | `Output'
+		\alt `Exec'
+
+	<String> ::= <Char><String> | $\lambda$
+\end{grammar}
+
+Een karakter, $\SynChar$, is een symbool uit de ASCII tabel. 
+
+Programma's zijn lijsten van statements. Compositie van statements is
+impliciet.
+