Книга посвящена формальному описанию языков программирования.
Подробно рассмотрены средства описания сннтаксиса (грамматики Хомcкoгo, формулы Бэкуса-Наура),
однако основное внимание уделено Венскому методу формального описания семантики языков программирования.
Представлен как сам Венский метод, так и ряд eгo необычных приложений, иллюстрирующих мощь, удобство и точность предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин,
а также аспирантам и студентам соответствующих специальностей.
Author(s): Оллонгрен А.
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1977
Language: Russian
Pages: 290
City: Москва
От редактора перевода 5
Предисловие к английскому изданию 7
Введение. Цели 11
Глава I. Основные понятия 17
1.1. Элементы символической логики
1.2. Условные выражения
1.3. Элементы теории множеств
1.4. Элементы алгебры
Литература к главе I
Глава II. Формальные языки 39
2.1. Грамматики и языки
2.2. Алголоподобные языки и фрагмент PL
2.3. Синтаксические графы
2.4. Конечные автоматы
Литература к главе II
Глава III. Разбор 66
3.1. Системы конечных автоматов
3.2. Магазинные автоматы
3.3. Магазинные преобразователи
Литература к главе III
Глава IV. Структуры данных 98
4.1. Почему нам необходима теория структур данных
4.2. Аксиомы структур данных
4.3. Теоретикu-множественная модель структур данных
4.4. Размеченные деревья
Литература к главе IV
Глава V. Классы структур данных 128
5.1. Обозначения
5.2. Абстрактные грамматики
5.3. Списки
5.4. Структурная иидукция
Литература к глaвe V
Глава VI. Преобразования языка 158
6.1. Элементы языков программнрования
6.2. Преобразованные абстрактные грамматики
Литература к главе VI
Глава VII. Интерпретирующие автоматы. Часть I 180
7.1. Управление
7.2. Интерпретирующие фуикции и функция пере хода
7.3. Внешняя среда, хранилища, счетчик отличительных имен и склад
7.4. Схемы команд PL-машины
7.5. Действия РL-машины
Литература к главе VII
Глава VII. Интерпретирующие автоматы. Часть II 220
8.1. Вторая РL-машина
8.2. Сдвоенный автомат
8.3. Oгделенное управление
Литература к главе VIII
Глава IX. Взаимодействующие последовательные процессы 254
9.1. Абстрактиый синтаксис
9.2. Схемы команд
9.3. Система абстрактных процессоров
Литература к главе IX
Список литературы 280
Предметный указатель 284
