Notazione C.1
Le regole della sintassi è costituita dal nome per un non ultimo, seguito da due punti, seguiti dalle alternative di sostituzione in righe separate.
il termine sintattico di espressionescegliere indica che il termine è facoltativo all'interno di sostituzione.
l'espressione sintattica condizioneoptseq equivale a termine-seguentescegliere con le seguenti regole aggiuntive:
termine-seguente :
condizione
termine termine-seguente
termine-seguente , condizione