次の方法で共有


C.1 表記

文法規則は、非終端の名前で始まり、1 つのコロン、次にそれぞれの行で選択的な置換部分が続きます。

構文式 termopt は、term が置換内で選択的であることを示します。

構文式 termoptseq は、次の追加規則を持つ term-seqopt と同等です。

term-seq :

term

term-seq term

term-seq , term