オートマトンの説明は『計算理論の基礎』が良かった記憶がある
といっても話題の中心はNFAとDFAぐらいだが