Notacja C.1

Reguły gramatyki składają się z nazwy dla nie terminal, po której następuje dwukropek, następuje zastąpienie alternatyw w oddzielnych wierszach.

Określenie wyrażenia składniopt wskazuje, że termin jest opcjonalne w ramach wymiany.

Składni wyrażenia terminoptseq jest równoważne z termin seqopt z następującymi zasadami dodatkowe:

termin seq :

termin

określenie terminu seq

termin seq , termin