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
dan tepat sasaran, serta memberi perhatian pada aplikasi praktis yang sejalan dengan matematika.