Appendix B. Notation

none
Name ::= ...

Defines a grammar rule with name Name.

none
Rule1 | Rule2

Alternative: either Rule1 or Rule2.

none
Rule*

Zero or more occurrences of Rule.

none
Rule+

One or more occurrences of Rule.

none
Rule?

Zero or one occurrences of Rule.

none
'xyz'

An occurrence of xyz with proper tokenization. For example, 'case' doesn't match cases.