生成規則の略記

ECMAScriptには素直に生成規則を書き下すと煩雑になる構文がある

複数の構成要素を省略できる構文（例: for文）

「Aを省略した生成規則」「Bを省略した生成規則」「AとBを省略した生成規則」…と列挙していくのはつらい

バリエーションがいくつもある構文（例: 関数のbody）

code:example.js

function x() { /* 普通の関数 */ }

async function x() {

/* 基本的には普通の関数と同じだが、async関数ではawaitがキーワードになる。 */

}

function* x() {

/* generator関数ではyieldがキーワードになる。 */

}

このような構文定義を簡潔に記述するための略記が用意されている

その記号が省略可能であることを示す

$ Initializer_{\rm{opt}}

for文の定義とかで使われている

その非終端記号がパラメータを取ることを示す

$ StatementList _{\lbrack \rm{Return, In} \rbrack}

→展開すると

StatementList

StatementList_Return

StatementList_In

StatementList_Return_In

not all of which are necessarily referenced in a complete grammar.

$ ExpressionStatement _{\lbrack \rm{+In} \rbrack}

→展開すると

ExpressionStatement_In

$ ExpressionStatement _{\lbrack \rm{〜 In} \rbrack}

→展開すると

ExpressionStatement

VariableDecalration[In]:

BindingIdentifier Initializer[?In]

→展開すると

VariableDecalration:

BindingIdentifier Initializer

VariableDecalration_In:

BindingIdentifier Initializer_In

Hoge[In]:

[+In] Fuga

Foo

→

Hoge:

Foo

Hoge_In:

Fuga

Foo