次: , 前: Recursion, 上: Grammar File


3.5 言語の意味の定義

言語に対する文法規則は、文法だけを決めます。 意味は、各種のトークンとグループ化に対応する意味値により、 各種のグループ化が認識されるときに、決定されます。

電卓の例では、式のそれぞれに対応する値が適切な数値なので、 電卓は正確に計算できます。 グループ`x + y'に 対応するアクションが、xyに関する数値の和を計算します。