形式言語の構文と意味

トップ ＞ 言語処理 ＞ 形式言語の構文と意味 形式言語の構文と意味 １．形式言語の文法 プログラム言語のように、厳格な文法によって生成された言語を形式言語と呼ぶ。 形式言語は、一般に、字句規則・構文規則・意味規則で規定される。 字句規則は、識別子や演算記号、定数といった要素（トークン）の表記法を定め、 構文規則は、文や式の形式を示すものである。 意味規則は、構文の意味を規定するものである。 例えば、算術式に関する文法を定義し、 x = 2 + 10 * 3 から x = 32 を得ることを考えよう。 まず、字句解析によって、プログラムは要素 x, =, 2, +, 10, *, 3 に分解される。 構文解析により、演算子（プログラミング言語では、+, * はもとより、= も演算子と呼ぶ） の優先順位から次のような構文木を得る。 意味解析により、2 + 10 * 3 の演算が行われ、その結