|
Оглавление
 ВВЕДЕНИЕ РАЗДЕЛ I. ФОРМАЛЬНЫЕ МОДЕЛИ ЯЗЫКОВЫХ МУЛЬТИПРОЦЕССОРОВ Глава 1. Некоторые вопросы структурного параллельного программирования § 1.1. Абстрактные модели многопроцессорных вычислительных систем и структурное параллельное программирование § 1.2. Системы алгоритмических алгебр, ориентированные на мультиобработку Глава 2. Формальные грамматики и языки § 2.1. Формальные грамматики и параллельный вывод § 2.2. Матричные грамматики и их модификации Глава 3. Автоматные модели языковых мультипроцессоров § 3.1. Многоленточные автоматы над структурированной паматыо § 3.2. СМ-формализмы, ориентированные на мультиобработку РАЗДЕЛ II. ПРОБЛЕМЫ ПАРАЛЛЕЛЬНОГО АНАЛИЗА И СИНТЕЗА ЯЗЫКОВЫХ ПРОЦЕССОРОВ Глава 4. Матричные методы синтаксического анализа и их параллельные представления § 4.1. Матрицы синтаксического контроля и анализа § 4.2. Диагональные вычисления матриц синтаксического контроля и анализа § 4.3. Отношения предшествования и параллельный анализ сверткой Глава 5. Параметрические модели языковых мультипроцессоров
§ 5.1. Параметрические грамматики и управление выводом
§ 5.2. Двусторонние ПР-грамматики и магазинные ПР-анализаторы
§ 5.3. Совершенные ПГРТ и однозначный ПР-анализ
Глава 6. Некоторые вопросы конструирования математического обеспечения высокопроизводительных многопроцессорных вычислительных систем
§ 6.1. Принципиальные особенности программной и структурной организации высокопроизводительных вычислительных систем
§ 6.2. Проблема параллельной трансляции в однородных структурах
§ 6.3. Многослойная модель параллельного транслятора конвейерного типа
§ 6.4. Некоторые вопросы автоматизации структурного параллельного программирования
Списоклитературы
Список сокращений
Предметный указатель
В. М. Глушков — автор трудов по алгебре, кибернетике и вычислительной технике. Основной результат, отраженный в его докторской диссертации, — формулировка и доказательство одной из интерпретаций пятой проблемы Гильберта. Под его руководством в 1966 г. была разработана первая в СССР персональная ЭВМ «МИР-1» (машина инженерных расчетов). Он был инициатором разработки и создания Общегосударственной автоматизированной системы учета и обработки информации (ОГАС) — вычислительной сети для связи центров сбора данных во всех регионах страны, предназначенной для автоматизированного управления всей экономикой СССР в целом; некоторые исследователи позже называли ее «советским Интернетом». |