言語理論とコンパイラ

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

2007 年 6月15日

http://www.sw.it.aoyama.ac.jp/2007/Compiler/lecture9.html

Martin J. Dürst

duerst@it.aoyama.ac.jp, O 棟 529号室

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

今週の予定

• flex の演習について

コメントの正規表現

読みやすさのため、コメントを /x x/ にし、スペースを使用

第一案: /x .* x/ 問題: /xx/ /xx/ をまとめて認識

第二案: /x [^x]* x/ 問題: /xxx/ を認識しない

第三案: /x ([^x]|x[^/])* x/ 問題: /x xx/ /x x/ をもとめて認識

第四案: /x ([^x]|x+[^/])* x/ 問題: 以前と同様

第五案: /x ([^x]|x+[^/x])* x/ 問題: /x xx/ を認識しない

第六案: /x ([^x]|x+[^/x])* x+/ 完成!

参考: Mastering Regular Expressions, Jeffrey E.F. Friedl, pp. 168,...

bison とは

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

flex と bison の資料

• インストール方法
• flex のマニュアル (日本語):
  http://www.linux.or.jp/JM/html/flex/man1/flex.1.html
• bison のマニュアル (英語):
  http://www.gnu.org/software/bison/manual/html_mono/bison.html
  http://lmj.nagaokaut.ac.jp/gnu_manual/bison-1.28/bison-ja_toc.html

flex と bison の使い方の概要

• bison でトークンの種類を記述:
  例: %token NUM PLUS ASTERISK ...
• bison で属性値の型の定義
  例: #define YYSTYPE int
• flex でそれぞれのトークン用のルールを定義
• bison で文法規則を定義
• bison で文法の属性の規則を定義
• コンパイルとテスト (全項目と合わせて行った方がよい)

make の活用

• flex, bison, gcc などを忘れず使うのが難しい
• make コマンドは makefile の指定に従い、必要最小限の処理を実行
• 必要に応じて、make コマンドを cygwin で追加
• makefile の書き方 (→はタブの意味):
  target: input1 input2 input3 ...
→target 作成命令
• make だけ打つと makefile 内の最初の target が作られる
• タブかスペースに要注意

演習例: 簡単な電卓

スタートのためのファイル: makefile, calc.y, calc.lex

bison の仕組みとデバッグ

• bison -v で作った機械の明細のファイルを作成 (例: calc.output)
• #define YYDEBUG 1 でデバッグを ON

開発のコツ

• テストの入力ファイルを用意
• テストの正解ファイルを用意
• 自動的にプログラムを実行、diff コマンドで比較
• diff から出力がなかったらテスト成功
• テストファースト: テストを追加して、失敗を確認してから実装

calc 用テストファイル: test.in, test.check

宿題: 有理数の電卓

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

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

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

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

rational.lex と rational.y を A4 の紙で提出ください。