Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной техники. Решение возникающих в связи с этим задач обусловило становление и развитие теоретического программирования и проникновение в него идей и методов общей алгебры. Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании: прикладной теори алгоритмов, теории формальных языков и систем программирования.
Author(s): Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л.
Edition: 2-е изд.
Publisher: Наукова думка
Year: 1978
Language: Russian
Pages: 314
City: Киев
Обложка ......Page 1
Содержание ......Page 2
Предисловие ......Page 4
§ 1.1. Понятие множества. Подмножества. Включения ......Page 6
§ 1.2. Основные операции над множествами ......Page 10
§ 1.3. Мощность множеств. Счетные множества ......Page 17
§ 1.4. Континуальные множества ......Page 22
§ 1.5. Кардинальные числа ......Page 26
§ 2.1. Основные определения ......Page 31
§ 2.2. Операции над отношениями ......Page 36
§ 2.3. Функциональные отношения. Отображения ......Page 41
§ 2.4. Отношения эквивалентности и порядка ......Page 47
§ 2.5. Вполне упорядоченные множества. Структуры ......Page 53
§ 3.1. Понятия моделей и универсальных алгебр ......Page 62
§ 3.2. Подалгебры. Системы образующих ......Page 71
§ 3.3. Структура подалгебр универсальной алгебры ......Page 76
§ 3.4. Функции алгебры логики ......Page 82
§ 3.5. Изолированные множества. Конгруэнции ......Page 89
§ 3.6. Полугруппы. Многоосновные алгебры ......Page 96
§ 4.1. Понятие системы алгоритмических алгебр ......Page 108
§ 4.2. Тождественные соотношения в системе алгоритмических алгебр ......Page 120
§ 4.3. Полугруппы периодически определенных преобразований ......Page 136
§ 4.4. Модифицированные алгебры Поста ......Page 145
§ 4.5. Реализация регулярных схем адресных программ в однородных структурах ......Page 158
§ 5.1. Представление языков с помощью грамматик ......Page 167
§ 5.2. Система составляющих. нс-Грамматики ......Page 173
§ 5.3. Контекстно-свободные языки ......Page 182
§ 5.1. Линейные и автоматные грамматики ......Page 193
§ 5.5. Алгебры контекстно-свободных языков ......Page 205
§ 6.1. Автоматы над внутренней памятью ......Page 217
§ 6.2. Синтез магазинных автоматов ......Page 229
§ 6.3. Методы синтаксического анализа в системах программирования ......Page 241
§ 6.4. Параметрические грамматики инверсно-рекурсивного и рекурсивного типа ......Page 260
§ 6.5. Метаязык СМ-грамматик и проблемы трансляции ......Page 277
§ 6.6. СМ-формализмы и их применение к системам программирования ......Page 289
§ 6.7. Многоосновные алгебры и языки программирования ......Page 297
Литература ......Page 301
Предметный указатель ......Page 308
Указатель теорем и лемм ......Page 314
