>>328
オートマトンの定番というと、
ホップクロフト、ウルマン「オートマトン・言語理論・計算論」
だけど、いきなり読むのはたいへんかも。

で、お勧めは、
マイケル・シプサ「計算理論の基礎」。
高い(7500円)し全部読もうとするとたいへんだけど、
判りやすいのでいきなりこの本から読みはじめても
大丈夫だと思う。たぶん。

オートマトンの他に、
計算可能性と計算の複雑さの理論の話題も入ってるから、
ついでに勉強してみたら。