「バッカス・ナウア記法」の版間の差分

左辺の<symbol>は単一の記号である。また、<code>&lt;</code>{{lang|en|expression with symbols}}<code>&gt;</code> は記号列、または選択を表す[[バーティカルバー]] '「<code>|' </code>」で区切られた記号列であり、左辺の &code>&lt;</code>{{lang|en|symbol}}<code>&gt;</code> の置換となるものを表している。なお、導出規則で使用された記号は「[[非終端記号]]」と「[[終端記号]]」に分類される。導出規則群の左辺に現れた記号は「[[非終端記号]]」と呼ばれ、いずれの導出規則の左辺にも現れなかった記号は「終端記号」と呼ばれる。