Syntax
Basics | Specifics1. Basicsintroduces: syntax-tree . needs: Lists/Nested . syntax-tree <= tree
Back to the beginning.2. Specificsintroduces: [[ ]], [[ _ ]], [[ _ _ ]], ... , < >, < _ > , < _ _ >, ... includes: Instant/Distinction ( syntax-tree for s , _is _ ) . needs: Tuples/Basics .
(1) [[ ]] = empty-list . [[ t:syntax-tree* ]] = list of t . [[ t1:syntax-tree* t2:syntax-tree* ]] = list of (t1, t2) . ... (2) < > = ( ) . < t:syntax-tree* > = t . < t1:syntax-tree* t2:syntax-tree* = (t1, t2) . ... Back to the beginning.This specification is schematic. It may be regarded as an abbreviation for an infinite specification. Only a finite part of it is needed in practice. |