Abstract Syntax
- Non-terminal symbols.
- C, E, L, N.
- Variables over syntax trees.
- Terminal symbols.
- @, +, :=, skip
- Labels of syntax trees.
- Inductive definition of syntax trees.
Abstract syntax defines syntax trees!
Author: Wolfgang Schreiner
Last Modification: March 26, 1998