コンパイラ湯淺太一第３章文法構文，制約，意味構文制約意味：プログラムの構造を定義：構文以外の規則：実行を定義例：文構文：制約：は真偽値を表す型意味：を計算し，その値が真なら偽ならを実行するを，文法：構文＋制約構文解析は「文法解析」ではない．構文解析の話をするときは，制約には言及しない．構文＝文法構文の記法のは非終端記号あるいは構文変数は，終端記号識別子リストとは識別子であるか，識別子リストと識別子をカンマで区切ったもの例：は識別子なので識別子リストが識別子リストなのでも識別子リストが識別子リストなので，は識別子リスト生成規則と縦棒は，メタ記号拡張の例：Ｃ言語の構文記法：の構文図式の例： program program identifier ( identifier , ) ; block . 文法例：文法生成規則：は記号，は記号列規則：文法：組：生成規則の集合：出発記号語彙非終端記号終端記号：に現れる記号全体の集合：生成規則の左辺に現れる記号：非終端記号以外の記号，，のとき，はを直接生成する．はに直接還元される． v x A w x α のとき，またははを生成はに還元 v のとき，する．される． w のとき，はの文形式特にが終端記号列ならはの文：の文全体の集合，の定義する言語例：だけが文 y y 導出から：である記号列を求めること最左導出最右導出 E E + T T T F F i i ＊ F i 解析木とあいまい性解析木構文木 E E + T T T F F i i ＊ F + i ＊ i i i あいまいな文：二つの異なる解析木が考えられる文あいまいな文法：あいまいな文を生成する文法例：文法文，に対する二つの解析木 E E i E + E E i ＊＊ E E E i i + E i E i あいまいな英文「主語＋動詞」「光陰矢の如し」「動詞＋目的語」「蝿の速度計測をしろ」あいまいな日本語文ここではきものをぬぎなさい「ここで履物を脱ぎなさい」「ここでは着物を脱ぎなさい」？文の構文あいまいな文 stat if ( expr stat ) stat if ( expr ) e1 else stat e1 if ( expr ) stat else stat e2 Ｃ言語の場合は左側 stat s1 s2 s2 if ( expr ) stat e2 s1 文のあいまい性除去開いた（）文：直後に「＋文」をつけても文になり得る文閉じた（）文：でない文演算子の優先順位と結合性演算子の優先順位演算子の結合性なので左結合的なので右結合的優先順位と結合性：生成規則ある非終端記号：生成規則ある非終端記号 C＊のときを先に計算が存在に対してのときを先に計算が存在に対して A A +B B+ ＊C 例：文法が存在し，が存在しが存在し，かつなので，はより優先順位が高い． E E E + + T E T E + T E T ＊ E F + T T ＊ F T 文脈自由文法とその限界 S が文形式に現れていれば，の前後（文脈）に関係なく，を左辺とする生成規則を適用可能 x’ 文脈自由文法で表現できない記号列集合 u’ x A y u A v w v’ y’ v’ v’ S なる文脈自由文法が存在したと仮定次のが存在する．が生成する記号列は，の要素でない．矛盾 x’ u’ u’ x A y u A v u A v w y’ を生成する文脈自由でない文法