У книзі відомих американських фахівців у галузі мов програмування Т.Пратта і М.Зовник розглядаються загальні концепції розробки та реалізації мов програмування, а також основи формальних граматик і кінцевих автоматів — ематичних моделей, використовуваних для визначення та реалізації мов програмування. Це саме та база, яка потрібна висококваліфікованому програмісту для створення продуктивних і стійких до помилок програм.
Виклад матеріалу в книзі не прив'язаний до будь-якої конкретної мови програмування, хоча передбачається, що читач знайомий хоча б з однією процедурною і з однією об'єктноорієнтованою мовою.
Книга буде корисна студентам вищих навчальних закладів, а також програмістам будь-якої кваліфікації.