オートマトンは、

計算理論の基礎/マイケルｼプサがいいよ！！
http://www.amazon.co.jp/exec/obidos/ASIN/4320029488/
http://www-math.mit.edu/~sipser/