| Class | Description |
|---|---|
| DefinitionsList |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.4 *) definitions list
= single definition,
{definition separator symbol,
single definition};
|
| EmptySequence |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.21 *) empty sequence
= ;
|
| GroupedSequence |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.13 *) grouped sequence
= start group symbol, definitions list,
end group symbol;
|
| OptionalSequence |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.11 *) optional sequence
= start option symbol, definitions list,
end option symbol;
|
| RepeatedSequence |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.12 *) repeated sequence
= start repeat symbol, definitions list,
end repeat symbol;
|
| SingleDefinition |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.5 *) single definition
= syntactic term,
{concatenate symbol, syntactic term};
|
| SyntacticException |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
4.7 Syntactic exception
A syntactic-exception consists of a syntactic-factor subject
to the restriction that the sequences of symbols represented
by the syntactic-exception could equally be represented by
a syntactic-factor containing no meta-identifiers.
|
| SyntacticFactor |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.8 *) syntactic factor
= [integer, repetition symbol],
syntactic primary;
|
| SyntacticPrimary |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.10 *) syntactic primary
= optional sequence
| repeated sequence
| grouped sequence
| meta identifier
| terminal string
| special sequence
| empty sequence;
|
| SyntacticTerm |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
(* see 4.6 *) syntactic term
= syntactic factor,
[except symbol, syntactic exception];
|
| Syntax |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
4.2 Syntax
The syntax of a language consists of one or more syntax-rules.
|
| SyntaxRule |
https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
4.3 Syntax-rule
A syntax-rule consists of a meta-identifier (the name of
the non-terminal symbol being defined) followed by a
defining-symbol followed by a definitions-list followed by
a terminator-symbol.
|