Lebih dari 30 tahun yang lalu, John Hopcroft dan Jeffrey Ullman pertama kali menerbitkan sebuah buku klasik yang membahas bahasa-bahasa formal, teori otomata, dan kompleksitas komputasionalnya. Dalam revisi yang telah lama dinantikan ini, pengarang kembali menyajikan materi dengan ringkas dan tepat sasaran, serta memberi perhatian pada aplikasi praktis yang sejalan dengan matematika. Edisi ini telah direvisi untuk mempermudah mahasiswa dalam menggunakannya. Di dalamnya tercakup tambahan material dengan bukti, angka dan gambar, artikel dalam kolom yang menyoroti materi terkait, serta gaya penulisan yang ringan. Banyaknya latihan baru yang diberikan dalam setiap bab membantu pembaca meningkatkan pemahaman mereka terhadap materi yang disajikan. Fitur-fitur yang Tersedia: Sepenuhnya ditulis ulang dengan lebih ringan sehingga lebih mudah dipahami oleh mahasiswa program sarjana. Menekankan pada aplikasi modern teori. Menggunakan beragam angka untuk membantu penyampaian ide. Menyediakan lebih banyak detail dan penalaran untuk definisi dan bukti. Memasukkan artikel dalam kolom untuk menyajikan material pelengkap yang mungkin menjadi minat pembaca. Menantang kemampuan pembaca dengan memberikan latihan-latihan ekstensif dari berbagai tingkat kesulitan. Menampilkan notasi grafis untuk PDA dan mesin Turing.