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