lebih dari 30 tahun yang lalu, john hopcroft dan jeffrey ullman pertamakali 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 apikasi praktis yang sejalan dengan matematika.