Buku klasik tentang bahasa formal, teori automata, dan kompleksitas komputasi ini telah diperbarui untuk menyajikan konsep teoretis secara ringkas dan lugas dengan peningkatan aplikasi praktis dan praktis. Edisi baru ini hadir dengan Gradiance, alat penilaian online yang dikembangkan untuk ilmu komputer.