>>27
もうちょっと具体的に。あてずっぽうで書くなら

Michael Sipser 『計算理論の基礎』
John E. Hopcroftほか 『オートマトン言語理論 計算論』