<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[1]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">CORBA</anchor> の仕様書では <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">IDL</anchor> の構文の定義に <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">EBNF</anchor>
の一種を使っています。</p><p>仕様書 3.1 表1 によれば、その記号の意味は次の通りです。<ul><li><code>::=</code> 左辺を右辺により定義します。</li><li><code>|</code> 選択。</li><li><code>&lt;<var>text</var>&gt;</code> 非終端。左辺でも右辺でも常に括弧付きで使います。
終端記号名として使われている文字列は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">小文字</anchor>と <code>_</code> のようです。</li><li><code>“<var>text</var>”</code> 終端。</li><li><code><var>記号</var><sup>*</sup></code> 零回以上の繰り返し。</li><li><code><var>記号</var><sup>+</sup></code> 一回以上の繰り返し。</li><li><code>{<var>記号列</var>}</code> 一つの単位にまとめる。</li><li><code><strong>[</strong><var>記号列</var><strong>]</strong></code> 零回または一回の出現。</li></ul></p><p>仕様書では EBNF は太い文字で印刷されています。</p></body></html>