コンパイラツクール！　　の、その前に

リスト作成者のコメント:
	"プログラミング言語研究に論理学は必須。わたしは四年回り道の後に悟りました。自習するなら最初はこれ。"

リスト作成者のコメント:
	"↑よりは若干難しいか。不完全性定理の説明は他所で読んだものより分かりやすかった（分かったような気にさせてくれた）。"

リスト作成者のコメント:
	"説明があっさりしてるので、自習なら、↑二冊の両方、または一番上を読んでからのほうがいい。"

リスト作成者のコメント:
	"とくにオートマトン、グラフの扱いに関する知識は必要。この本は図が丁寧でわかりやすい。"

リスト作成者のコメント:
	"これも図がわかりやすい。"

リスト作成者のコメント:
	"アルゴリズムを使う人よりは、作る人、解析する人向けの内容。初心者が最初に読むには向かない。上に挙げたような本などがいい。確率論を使うところがある。１，２巻は誤字が多い。第二版では改善されているか？"

リスト作成者のコメント:
	"オートマトンのスタンダード。第二版は図入りでレイアウトもメリハリがありとっつきやすい。"

リスト作成者のコメント:
	"計算論も知っておくべきか。"

リスト作成者のコメント:
	"意味論の本はどれも難しい。が、そのなかではこれが易しい。とはいえ、chapter 12,13は難易度↑。証明を追うのがやっと。"