言語理論とコン パイラ

第九回: yacc 系ツールの演習

http://www.sw.it.aoyama.ac.jp/2005/Language%20Theory%20and%20Compilers/lecture9.html

© 2005 Martin J. Dürst 青山学院大学

bison とは

• yacc: yet another compiler compiler
• Unix の普及とともに広がった
• compiler compiler: コンパイラを作るコンパイラ
• yet another: もう一つ、できた当時に compiler compiler が流行りで、他に名前が浮かんで来なかった
• bison: yacc の gnu 版

flex と bison の資料

• インストール方法
• flex のマニュアル (日本語):
  http://guppy.eng.kagawa-u.ac.jp/~kagawa/2000/SysProg/flex-2.5.4/flex_toc.html
• bison のマニュアル (日本語):
  http://guppy.eng.kagawa-u.ac.jp/~kagawa/2001/SysProg/bison-1.2.8/bison-ja_toc.html

bison の関連ファイル

• simple.y: 入力ファイル
• simple.tab.c: 出力ファイル
• simple.output: 構文解析についての情報 (テーブルなど)

演習の進み方

• simple.y をダウンロード
• simple.y を bison で処理、simple.tab.c を作る
• simple.tab.c をコンパイル、実行
• bison -v simple.y で simple.output を作って、観察
• simple.y で #define YYDEBUG を 1 に変更
• 再び bison とコンパイルを実行、出力と simple.output を比べる

環境依存項目

宿題 (次回提出)

簡単なプログラム言語を bison で実現して、bison の .y ファイルを印刷して提出:

• データ型は整数のみ
• 変数の識別子は一文字 (A-Za-z), 初期値は 0
• 多くの C の演算子を実現する
• 演算子の優先度、結合規則を文法で定義する (%left, %right など使わないこと)
• 文は ; で区切る。制御文 (if 等)、関数 は無し
• @ (式) は「式」の結果を改行付きに印刷する。

宿題のヒント

• 変数の値のために配列を前もって定義する
• 変数の使用と変数への代入を文法で区別する
• 文法を少しづつ拡張しながら念入りにテストする
• テストファイルを作る。文法を拡張するたびにテストを追加する。
• 関心の項目 (優先順位、結合規則) を仕分けるテストを使う。
• テストの結果を取っておいて、次のテストの結果と比較

使う演算子の優先度と結合規則