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