Nowe, rozszerzone i zmienione wydanie kompendium wiedzy dotyczącej teorii automatów, języków formalnych i obliczeń, czyli uniwersalnych podstaw informatyki teoretycznej i lingwistyki matematycznej. 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 na nowoczesne zastosowania omawianych teorii. Dodano informacje o algorytmach losowych oraz zwiększono liczbę prostych przykładów i rysunków ilustrujących omawiane zagadnienia.
Książka przeznaczona jest dla studentów kierunków informatycznych i matematycznych uniwersytetów i uczelni technicznych oraz pracowników naukowych zajmujących się informatyką teoretyczną, matematyką, automatyką i lingwistyką matematyczną, a także dla inżynierów i ekonomistów.