В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанный авторами метод позволил им включить в синтаксический блок значительную часть того, что обычно относится к семантике (генерации кода). Изложение строгое, но не формальное, доступное читателю, не имеющему специальной математической подготовки. Книга рекомендуется широкому кругу системных программистов и студентов соответствующего профиля (особенно инженерных вузов).

Книга содержит подробное изложение теории и практики построения компиляторов Приводится детальное описание типичного компилятора с упрощенного подмножества языка PL/I, позволяющее практически овладеть методикой его проектирования. Дается описание трансляторов, их эффективности, согласования транслятора с машиной, с человеком, а также описание языков Книга адресована системным программистам, разработчикам программного обеспечения ЭВМ и АСУ. а также студентам и аспирантам.