"purple" dragon book

2009年05月21日

purple dragon bookの日本語版が出ます
「コンパイラ[第2版]」〜 原理・技法・ツール 〜
A.V.エイホ, M.S.ラム, R.セシィ, J.D.ウルマン 著 / 原田賢一(慶應義塾大学名誉教授) 訳


定価:9,240円(本体8,800円+税)
発行:サイエンス社
発行日:2009-05-25
ISBN 978-4-7819-1229-5 / A5判/1120頁

これで読書会が開ける!!

(21:39) Φ

2009年04月26日

§5.1.1 Inherited and Synthesized Attributes (pp.304-306)

synthesized attributes

自分自身の属性値 + 子ノードの属性値 のみを使って算出される属性値。

inherited attributes

自分の親ノードの属性値 + 兄弟ノードの属性値 +自分自身の属性値 のみを使って算出される属性値。

   production      : semantic rules
1) L → E n        : L.val = E.val  ※nは入力の終端を示す何か
2) E → E1 + T     : E.val = E1.val + T.val
3) E → T          : E.val = T.val
4) T → T1 * F     : T.val = T1.val * F.val
5) T → F          : T.val = F.val
6) F → ( E )      : F.val = E.val
7) F → digit      : F.val = digit.lexval
  • val はsynthesized attribute
  • lexval はlexerが上げてくる値
  • "S-attributed" なSDD(※Syntax-Directed Definitions)とは、自分自身および子ノードの属性値のみで属性値が決まるものを指す。
  • 例では副作用は使っていないが、ある程度までなら副作用も便利だったりするのでよく使われる
  • S-attributedなSDDはLRパーサと一緒に自然な形で実装できる
  • 副作用のないSDDは attribute grammar とも呼ばれる
Compilers Principles, Techniques, & Tools
Alfred V. Aho Monica S. Lam Ravi Sethi Jeffrey D. Ullman
Addison-Wesley
売り上げランキング: 10286


(20:00) Φ

2009年04月22日

コンパイラの勉強と称して構文解析の勉強してる人をみると悲しくなるのでコンパイラの本はすべて構文解析は2ページで終わらせてさっさとコンパイラの話に入るべきみたいなことを思っている
というわけで、viable prefix とか right-sentential form とか分かったようでどうもしっくり来ない4章から抜け出し、気を取り直してさっさとコンパイラの話に入りたいと思い"purple" reading5章から。
続きを読む

(20:36) Φ

2009年01月09日

少し読んだ
§4.7.5 Efficient Construction of LALR Parsing Tables
(pp.272下〜275中)

Compilers Principles, Techniques, & Tools
Alfred V. Aho Monica S. Lam Ravi Sethi Jeffrey D. Ullman
Addison-Wesley
売り上げランキング: 10286


(16:04) Φ

2009年01月05日

§4.7.4 Constructing LALR Parsing Table
§4.7.5 Efficient Construction of LALR Parsing Tables
(pp.269下〜)

Compilers Principles, Techniques, & Tools
Alfred V. Aho Monica S. Lam Ravi Sethi Jeffrey D. Ullman
Addison-Wesley
売り上げランキング: 10286


(20:58) Φ

2008年12月29日

4.7.3 Canonical LR(1) Parsing Tables
4.7.4 Constructing LALR Parsing Table
(pp.265下-269下)

Compilers Principles, Techniques, & Tools
Alfred V. Aho Monica S. Lam Ravi Sethi Jeffrey D. Ullman
Addison-Wesley
売り上げランキング: 10286


(20:13) Φ

2008年12月26日

久々にpurple dragonを連れてカフェへ。

§4.7の最初から復習。
viable prefixがすんなり理解できて気分がいい。

4.7 More Powerful LR Parsers
4.7.1 Canonical LR(1) Items
4.7.2 Construction LR(1) Sets of Items
4.7.3 Canonical LR(1) Parsing Tables
(pp.259下-265下)

Compilers Principles, Techniques, & Tools
Alfred V. Aho Monica S. Lam Ravi Sethi Jeffrey D. Ullman
Addison-Wesley
売り上げランキング: 10286



(22:02) Φ

2008年04月22日

電車の中でほんのちょっと読む:

4.7.2 Construction LR(1) Sets of Items
(pp.263-264)

Compilers: Principles, Techniques, and Tools
Monica S. Lam Ravi Sethi Jeffrey D. Ullman Alfred V. Aho
Addison-Wesley (2006/10/15)
売り上げランキング: 10000
おすすめ度の平均: 4.0
4 コンパイラの定本「ドラゴンブック」


(23:47) Φ

2008年04月20日

ロベールに飽きてきたので紫本@夜モス。
練習問題を後回しにして先を読むことにした。続きを読む

(23:01) Φ

2008年04月13日

"purple"独書再開@MOS生駒。

viable prefixがどうもしっくり理解できていなくて見返すたびに挫けていたのだけれど、ちょっと気合い入れて追ってみた。

(p.257〜)
4.6.6 Exercises for Section 4.4
  Exercise 4.6.1
  Exercise 4.6.2
  Exercise 4.6.3

Compilers: Principles, Techniques, and Tools
Monica S. Lam Ravi Sethi Jeffrey D. Ullman Alfred V. Aho
Addison-Wesley (2006/10/15)
売り上げランキング: 10000
おすすめ度の平均: 4.0
4 コンパイラの定本「ドラゴンブック」


(21:33) Φ