We complete the syntax for Exp by adding concrete syntax rules and
tree building specifications for generating a parser. We design the
concrete syntax according to the following specifications:
- Expressions must be separated by a semi-colon. We
examine the difference between terminators and separators in the
section on Ppml.
- We use the standard symbols to identify the corresponding
operators: +, -, *, :=.