Определение языков программирования интерпретирующими автоматами
Оллонгрен А.
Книга посвящена формальному описанию языков программирования.
Подробно рассмотрены средства описания сннтаксиса (грамматики Хомcкoгo, формулы Бэкуса-Наура),
однако основное внимание уделено Венскому методу формального описания семантики языков программирования.
Представлен как сам Венский метод, так и ряд eгo необычных приложений, иллюстрирующих мощь, удобство и точность предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин,
а также аспирантам и студентам соответствующих специальностей.
Подробно рассмотрены средства описания сннтаксиса (грамматики Хомcкoгo, формулы Бэкуса-Наура),
однако основное внимание уделено Венскому методу формального описания семантики языков программирования.
Представлен как сам Венский метод, так и ряд eгo необычных приложений, иллюстрирующих мощь, удобство и точность предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин,
а также аспирантам и студентам соответствующих специальностей.
Categorie:
Anno:
1977
Casa editrice:
Мир
Lingua:
russian
Pagine:
290
Collana:
Математическое обеспечение ЭВМ
File:
DJVU, 2.83 MB
IPFS:
,
russian, 1977