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

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

Книги на ту же тему

1. Теоретико-множественные модели языков, Маркус С., 1970
2. Жемчужины теории формальных языков, Саломаа А., 1986
3. Математическая лингвистика, Шаумян С. К., ред., 1973
4. Трансляция языков программирования, Вайнгартен Ф., 1977
5. Алгебра. Языки программирования. — 2-е изд., перераб., Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л., 1978
6. Теория формальных грамматик, Гросс М., Лантен А., 1971
7. Машины клеточных автоматов, Тоффоли Т., Марголус Н., 1991
8. Информатика: Вводный курс, Бауэр Ф. Л., Гооз Г., 1976
9. Представление и анализ смысла в интеллектуальных информационных системах, Рубашкин В. Ш., 1989