Классы алгоритмов и вычислений Костенко, Константин Иванович

Короткий опис

Костенко, Константин Иванович.
Классы алгоритмов и вычислений : диссертация ... кандидата физико-математических наук : 01.01.09. - Москва, 1984. - 129 с. : ил.
Оглавление диссертациикандидат физико-математических наук Костенко, Константин Иванович
Введение:
Глава I. Внутренние свойства алгоритмических систем.
§ I.I Определение и простейшие свойства алгорит- 16 мических систем.
1.1.1 Основные понятия, связанные с алгоритми- 16 ческими системами.
1.1.2 Рекурсивно перечислимые алгоритмические 24 системы.
1.1.3 Алгоритмические системы и математические 34 модели вычислительных машин.
1.1.4 Алгоритмические системы и Z.
1.1.5 Алгоритмические системы с конечным числом 38 состояний.
§ 1.2 Максимальные алгоритмические; системы
§ 1.3 Базисы алгоритмических систем.
1.3.1 Универсальная -система без рекурсивно 59 перечислимых базисов.
1.3.2 Преобразование ^"-систем без р.п. базисов 70 в Jf- -системы с р.п„ базисами.
1.3.3 Достаточное условие существования р.п. 75 базисов у ^"-систем.
Глава 2. Внешние свойства алгоритмических систем.
§ 2.1 Определение и простейшие свойства морфизмов алгоритмических систем.
§ 2.2 Существование; морфизмов для АС„ представляющих некоторые модели алгоритмов.
§ 2.3 Моделирующие р.п. системы