言語理論とコンパイラ

第十回: yacc 系ツールの原理、エラー処理

2011 年 6 月 17 日

これからの予定

提出: 再来週の木曜日 (6 月 23日) 19 時 00 分、O 棟 529 号室の前

簡単な電卓を有理数の電卓に拡張してください。

有理数の表現方法として、[分子,分母] を追加してください。

[] 内には割り算は許されないように文法を設計してください。

.lex と .y のファイルを印刷して提出。A4 両面印刷、表紙なし、左上ホチキス止め、名前と学生番号をコメントに記述。

優先度と結合規則は文法で定義 (%left, %right など使わないこと)

来週質問が可能なので、よく準備して質問できるようにすること!

YYSTYPE は有理数が表現できる構造体; 両方の入力ファイルに同様に定義
shift/reduce conflict や reduce/reduce conflict がありうる
- .output ファイルを見て検討
- 実際の入力で試してみる
文法を少しづつ拡張しながら念入りにテスト
テストファイルを作成、文法を拡張するたびにテストを追加
関心の項目 (優先順位、結合規則) を仕分けるテストを作成
テストの結果を取っておいて、次のテストの結果と比較
[] 内の制限の扱い: [] 内と [] 外を別の非終端記号で扱う
入力の一例: test_in.txt

(attribute(d) grammar(s))

簡単な例:

E → E '+' T T → integer

最左導出の場合に、いつもできるだけ左の終端記号を置き換える

スタックを使って読んだトーケンや途中の非終端記号を蓄積

オートマトンを使ってできるだけ簡単な操作で次のステップを決定

(LA)LR 構文解析の三つのオペレーション

shift: トークンを一個読んで、そのトークンをスタックにステートと一緒に詰める
reduce: スタックの上部にあるトークンや非終端記号を文法規則を使って一つの終端記号に変換
reduce 後には go to を使って状態を移動することがある
accept: 入力を受理、作業を終了

error トークンを含む規則を文法に追加可能
例:

statement: ... SEMICOLON { ... }
         | error SEMICOLON { yyerror("Statement error.\n"); yyerrok; }