言語理論とコン パイラ

第八回: yacc 系ツールの使い方

2005 年 6月 10日

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

先週の補助: 簡単な手作りコンパイラ

プログラム: scanner.h, scanner.c, parser.c

下向き構文解析の問題点

• 効率良い構文解析のためにはかなり限られた文法が必要
• 例:
  

  factor → functioncall | variable | arrayelement
  functioncall → identifier '(' parameters ')'
  variable → identifier
  arrayelement → identifier '[' expression ']'

• factor でどこの規則を選べば良いのか分からない

最左導出と最右導出

文法の種類の呼び方

• LL: 左から入力を読んで、最左導出
• LR: 左から入力を読んで、最右導出
• LL(1): LL で、一つトーケンを先読み
• LR(1): LR で、一つトーケンを先読み
• LALR: LR (1) の一種で、yacc など幅広く使われる

LALR 構文解析の原理

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

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

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

• shift: トーケンを一個読んで、そのトーケンをスタックにステートと一緒に詰める
• reduce: スタックの上部にあるトーケンや非終端記号を文法規則を使って一つの終端記号に変換する

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