Анисимов А.В. Рекурсивные преобразователи информации

Учебное пособие. — Киев: Вища школа, 1987. — 232 с.Описываются рекурсивные преобразователи информации, относящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем — рекурсивные программы, вычислительные устройства, различные иерархические управляющие системы. Излагаются виды рекурсивного взаимодействия? проблемы разрешимости алгоритмов; недетерминизм в задании программ; преобразования рекурсии в более простые формы; рекурсивные алгоритмы в конкретных вычислительных средах; схемы программ и преобразователей.
Для студентов вузов, обучающихся по специальности «Прикладная математика».Введение
Рекурсивные преобразователи (неформальное введение)
О классической и прикладной теориях алгоритмов
О взаимодействии алгоритмов
Управление и информация
Алгоритмический анализ некоторых явлений природы и творчества человека
Алгоритмический анализ — новый метод изучения сложных систем
О вычислимой симметрии
Природа и рекурсия
Анализ литературных текстов
Основные понятия и определения
Язык для описания алгоритмов
Операторы, полугруппы, группы
Имитация алгоритмов
Дискретные преобразователи
Преобразователи и программирование
Программы и преобразователи
Об операторе перехода
Преобразователи и программы
О недетерминированных вычислениях
Схемы программ и преобразователей
Конечные дискретные преобразователи
Синтаксическая среда, абстрактные автоматы, языки
Машины Тьюринга
О сложности алгоритмов
Преобразователи Чёрча — Россера
Рекурсивные преобразователи
Ханойская башня и восемь ферзей
Определение рекурсивных преобразователей
Преобразователи с рекурсивным управлением
Преобразователи с рекурсией по данным
Рекурсия по управлению
КС-языки и МП-автоматы
Двусторонние читающие операторы
Регулярная синтаксическая среда. Управляемый синтаксический анализ
Проблема эквивалентности для синтаксических рекурсивных по управлению распознавателей
Схемы рекурсивных по управлению преобразователей
Рекурсия по данным
Возвращающие преобразователи
Стековые, возвращающие и локальноконечные преобразователи
Устранение рекурсии
Рекурсивные схемы программ
Локально-конечные свойства структур данных и их вычисления
Локальные свойства структур данных
Вычисление локально-конечных свойств
Разрешимость некоторых конкретных свойств
Список использованной литературы
Предметный указатель