- Артикул:00-01105220
- Автор: Анисимов А.В.
- Тираж: 2000 экз.
- Обложка: Твердая обложка
- Издательство: Вища школа (все книги издательства)
- Город: Киев
- Страниц: 232
- Формат: 60х90 1/16
- Год: 1987
- Вес: 367 г
- Серия: Учебное пособие для ВУЗов (все книги серии)
Рекурсивные преобразователи информации
Описываются рекурсивные преобразователи информации, относящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем - рекурсивные программы, вычислительные устройства, различные иерархические управляющие системы. Излагаются виды рекурсивного взаимодействия проблемы разрешимости алгоритмов; недетерминизм в задании программ; преобразования рекурсии в более простые формы; рекурсивные алгоритмы в конкретных вычислительных средах; схемы программ и преобразователей.
Для студентов вузов, обучающихся по специальности "Прикладная математика".
Содержание
Введение
Глава 1. Рекурсивные преобразователи (неформальное введение)
1.1. О классической и прикладной теориях алгоритмов
1.2. О взаимодействии алгоритмов
1.3. Управление и информация
Глава 2. Алгоритмический анализ некоторых явлений природы и творчества человека
2.1. Алгоритмический анализ - новый метод изучения сложных систем
2.2. О вычислимой симметрии
2.3. Природа и рекурсия
2.4. Анализ литературных текстов
Глава 3. Основные понятия и определения
3.1. Язык для описания алгоритмов
3.2. Операторы, полугруппы, группы
3.3. Имитация алгоритмов
3.4. Дискретные преобразователи
Глава 4. Преобразователи и программирование
4.1. Программы и преобразователи
4.2. Об операторе перехода
4.3. Преобразователи и программы
4.4. О недетерминированных вычислениях
4.5. Схемы программ и преобразователей
Глава 5. Конечные дискретные преобразователи
5.1. Синтаксическая среда, абстрактные автоматы, языки
5.2. Машины Тьюринга
5.3. О сложности алгоритмов
5.4. Преобразователи Чёрча - Россера
Глава 6. Рекурсивные преобразователи
6.1. Ханойская башня и восемь ферзей
6.2. Определение рекурсивных преобразователей
6.3. Преобразователи с рекурсивным управлением
6.4. Преобразователи с рекурсией по данным
Глава 7. Рекурсия по управлению
7.1. КС-языки и МП-автоматы
7.2. Двусторонние читающие операторы
7.3. Регулярная синтаксическая среда. Управляемый синтаксический анализ
7.4. Проблема эквивалентности для синтаксических рекурсивных по управлению распознавателей
7.5. Схемы рекурсивных по управлению преобразователей
Глава 8. Рекурсия по данным
8.1. Возвращающие преобразователи
8.2. Стековые, возвращающие и локальноконечные преобразователи
8.3. Устранение рекурсии
8.4. Рекурсивные схемы программ
Глава 9. Локально-конечные свойства структур данных и их вычисления
9.1. Локальные свойства структур данных
9.2. Вычисление локально-конечных свойств
9.3. Разрешимость некоторых конкретных свойств
Список использованной литературы
Предметный указатель
Рекомендуем
