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