Definition of programming languages by interpreting automata / Определение языков программирования интерпретирующими автоматами
Год издания: 1977
Автор: Ollongren A. / Оллонгрен А.
Переводчик: Александров А.Л.
Издательство: Мир
Серия: Математическое обеспечение ЭВМ
Язык: Русский
Формат: PDF
Качество: Отсканированные страницы
Количество страниц: 288
Описание: Книга посвящена формальному описанию языков программирования. Подробно рассмотрены средства описания синтаксиса (грамматики Xомского, формулы Бэкуса—Наура), однако основное внимание уделено Венскому методу формального описания семантики языков программирования. Представлен как сам Венский метод, так и ряд его необычных приложений, иллюстрирующих мощь, удобство и точность предлагаемых изобразительных средств.
Книга, безусловно, будет полезна всем, кто занимается системным и теоретическим программированием, разработчикам новых языков программирования и машин, а также аспирантам и студентам соответствующих специальностей.
Оглавление
От редактора перевода
Предисловие к английскому изданию
Введение. Цели
Глава I. Основные понятия
1.1. Элементы символической логики
1.2. Условные выражения
1.3. Элементы теории множеств
1.4. Элементы алгебры
Глава II. Формальные языки
2.1. Грамматики и языки
2.2. Алголоподобные языки и фрагмент PL
2.3. Синтаксические графы
2.4. Конечные автоматы
Глава III. Разбор
3.1. Системы конечных автоматов
3.2. Магазинные автоматы
3.3. Магазинные преобразователи
Глава IV. Структуры данных
4.1. Почему нам необходима теория структур данных
4.2. Аксиомы структур данных
4.3. Теоретико-множественная модель структур данных
4.4. Размеченные деревья
Глава V. Классы структур данных
5.1. Обозначения
5.2. Абстрактные грамматики
5.3. Списки
5.4. Структурная индукция
Глава VI. Преобразования языка
6.1. Элементы языков программирования
6.2. Преобразованные абстрактные грамматики
Глава VII. Интерпретирующие автоматы. Часть I
7.1. Управление
7.2. Интерпретирующие функции и функция перехода
7.3. Внешняя среда, хранилища, счетчик отличительных имен и склад
7.4. Схемы команд PL-машины
7.5. Действия PL-машины
Глава VIII. Интерпретирующие автоматы. Часть II
8.1. Вторая PL-машина
8.2. Сдвоенный автомат
8.3. Отделенное управление
Глава IX. Взаимодействующие последовательные процессы
9.1. Абстрактный синтаксис
9.2. Схемы команд
9.3. Система абстрактных процессоров
Список литературы
Предметный указатель
