プログラミング言語SML#解説 3.7.1版
15 序論

15.1 使用する表記法

構文構造の定義あたって,以下の表記を用いる.

  • 終端記号は,タイプライタフォントを用いて"SML#"のように記述する.

  • 非終端記号や構文上の名前はexpのように鍵カッコ書こんで記述する.

  • 省略可能な要素は(opt)?と書く.

  • 各構文のクラスxに対して, xListは,空白で区切 られたxの1個以上の列を表し, xSeqは以下のような構造の 何れかを表す.

    xSeq ::= x 要素1個
     | 空列
     | (x1,,xn) n個の組