Пер. с англ. — М.: Мир, 1977. — 288 с.
Книга посвящена формальному описанию языков программирования.
Подробно рассмотрены средства описания синтаксиса (грамматики
Хомского, формулы Бэкуса—Наура), однако основное внимание уделено
Венскому методу формального описания семантики языков
программирования. Представлен как сам Венский метод, так и ряд его
необычных приложений, иллюстрирующих мощь, удобство и точность
предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин, а также аспирантам и студентам соответствующих специальностей.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин, а также аспирантам и студентам соответствующих специальностей.