liamoc.net
my forest
1\import{dt-macros}
2\title{The \cal{C} Language}
3\taxon{Definition}
4\author{liamoc}
5\p{ Using notation similar to \em{Backus-Naur Form} (BNF):
6##{
7\begin{array}{lcl}
8\cal{E} & \Coloneqq & n \mid x \mid \cal{E}_1 + \cal{E}_2 \mid \cal{E}_1 - \cal{E}_2\\
9\cal{B} & \Coloneqq & \syn{false} \mid \syn{true} \mid \neg \cal{B} \mid \cal{E}_1 = \cal{E}_2\\
10\cal{C} & \Coloneqq & \syn{skip} \mid x := \cal{E} \mid \cal{C}_1 ; \cal{C}_2 \mid \syn{if}\ \cal{B}\ \syn{then}\ \cal{C}_1\ \syn{else}\ \cal{C}_2 \mid \syn{while}\ \cal{B}\ \syn{do}\ \cal{C}\ \syn{od}\\
11x & \in & \cal{V}\; \textit{(variables)}\\
12n & \in & \nat
13\end{array}
14}
15}