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ę "Wprowadzenie do teorii automatów języków i obliczeń Wydanie drugie" 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.

Rozdziały:

1. Metody i szaleństwo   1

2. Automaty skończone    37

3. Wyrażenia i języki regularne     79

4. Własności języków regularnych    117

5. Gramatyki i języki bezkontekstowe   156

6. Automaty ze stosem    202

7. Własności języków bezkontekstowych    235

8. Wprowadzenie do maszyn Turinga     283

9. Nierozstrzygalność     340

10. Problemy niepodatne    383

11. Dodatkowe klasy problemów     436