Wprowadzenie do teorii automatów, języków i obliczeń

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.