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