22.7.1.3 Defining the Grammar of a Language

ある言語にたいしてSMIE文法を定義する通常の方法は、順位のテーブルを保持する新たなグローバル変数を定義して、BNFルールのセットを与える方法です。たとえば、小規模なPascal風言語の文法定義は、以下のようになるでしょう:

(require 'smie)
(defvar sample-smie-grammar
  (smie-prec2->grammar
   (smie-bnf->prec2

    '((id)
      (inst ("begin" insts "end")
            ("if" exp "then" inst "else" inst)
            (id ":=" exp)
            (exp))
      (insts (insts ";" insts) (inst))
      (exp (exp "+" exp)
           (exp "*" exp)
           ("(" exps ")"))
      (exps (exps "," exps) (exp)))

    '((assoc ";"))
    '((assoc ","))
    '((assoc "+") (assoc "*")))))

注意すべき点がいくつかあります:

• 上記の文法は、関数呼び出しの構文に明示的に言及していない。SMIEは識別子、対応がとれたカッコ(balanced parentheses)、またはbegin ... endブロックのようなsexpの任意のシーケンスが、どこに、どのように出現しても、自動的にそれを許容するだろう。
• 文法カテゴリーidは、右側に何ももたない。これは、idが空文字列だけにマッチ可能なことを意味しない。なぜなら上述のように、任意のsexpシーケンスは、どこに、どのような方法でも出現するからである。
• BNF文法では非終端記号が連続して出現し得ないので、終端記号として作用するトークンを正しく扱うのが困難なので、上述の文法では、SMIEが容易に扱える";"を、セパレーター(separator)ステートメントのかわりとして扱っている。
• シーケンス内で使用される、(上記の","や";"のような)セパレーターは、BNFルールでは(foo (foo "separator" foo) ...)のように定義するのが最善である。これは、順位の競合を生成するが、明示的に(assoc "separator")を与えることにより解決される、
• SMIEは、構文テーブル(syntax table)内でカッコ構文(paren syntax)をもつようにマークされたー任意の文字をペアーにするだろうから、("(" exps ")")ルールにカッコをペアーにする必要はなかった。(expsの定義と併せて)このルールはかわりに、","がカッコの外に出現すべきではないことを明確にする。
• 競合解決のためのprecsテーブルは、単一のテーブルより複数のテーブルをもつほうが、可能な場合は文法のBNF部分が関連する順位を指定できるので、優れている。
• leftまたはrightを選択すること優るという明白な理由がない場合は、通常はassocを使用して演算子を結合演算子(associative)とマークするほうが優れている。この理由により、上述の"+"と"*"は、たとえその言語がそれらを形式上は左結合(left associative)と定義していても、assocとして定義されている。