Перевод с английского А. Л. Александрова. Под редакцией В.Ш. Кауфмана. Книга посвящена формальному описанию языков программирования. Подробно рассмотрены средства описания синтаксиса (грамматики Хомского, формулы Бэкуса-Наура), однако основное внимание уделено Венскому методу формального описания семантики языков программирования.