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 ...