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żony na:
- zastosowania praktyczne omawianych teorii
- dużą liczbę prostych przykładów i rysunków
- ćwiczenia, których rozwiązania są na stronie internetowej http://www-db.stanford.edu/~ullman/ialc.html