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

• •

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

• •

  非終端記号や構文上の名前は$⟨$exp$\mathrm{⟩}$のように鍵カッコ書こんで記述する．

• •

  省略可能な要素は$($opt$)\mathrm{?}$と書く．

• •

  各構文のクラス$⟨$x$\mathrm{⟩}$に対して， $⟨$xList$\mathrm{⟩}$は，空白で区切 られた$⟨$x$\mathrm{⟩}$の1個以上の列を表し， $⟨$xSeq$\mathrm{⟩}$は以下のような構造の 何れかを表す．

  $⟨$xSeq$\mathrm{⟩}$	::=	$⟨$x$\mathrm{⟩}$	要素1個
  	$|$		空列
  	$|$	($⟨$x$\mathrm{⟩}$${}_{\mathrm{1}}$,$\mathrm{\cdots }$,$\mathrm{⟨}$x$\mathrm{⟩}$${}_n$)	$n$個の組