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 di nantikan ini, pengarang kembali menyajikan materi dengan ringkas dan tepat sasaran, serta memberi perhatian pada aplikasi praktis yang sejalan dengan matematika. Edisi …