俺の良書はオートマトン計算論１２だな。
これを読んだあとコンパイラ技法ツールを読むと内容が凄く良く分かる。