Książkę napisano praktycznie od nowa (nowy współautor Rajeev Motwani), czyniąc ją mniej formalną i bardziej przystępną dla studentów. Zrezygnowano z pewnych teoretycznych zagadnień, a położono nacisk

Wznowienie sprawdzonego w praktyce podręcznika przedstawiającego klasyczne zagadnienia teorii automatów i języków formalnych oraz teorii złożoności obliczeniowej. W tym wydaniu nacisk został położon