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

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

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

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