Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах

Оглавление
Введение
1. Алгебра с конечным базисом Грбисра, и неразрешимой проблемой делителей нуля
1.1 Илам построения алгебры с идеалом соотношений, задан
ным конечным базисом Грбпера, в которой вопрос, является ли элемент делителем нуля, алгоритмически неразрешим
1.2 Универсальная машина Тыориша и определяющие соотношения
1.3 Делители нуля и остановка машины.
2. Вспомогательные сведения о машине Минского.
3. Реализация Машины Минского в конечноопределенной полугруппе
3.1 План построения полугруппы с полуцелой размерностью
Гельфанда Кириллова.
3.2 Определяющие соотношения.
3.3 Приведение к каноническому виду.
3.4 Работа основного механизма.
3.5 Система инвариантов
3.6 Преобразование для увеличения количества нормальных
4. Построение полугруппы с рекурсивной размерностью Гельфанда
Кириллова .
4.1 План построения полугруппы с рекурсивной размерностью
ГсльфаидаКириллова
4.2 Определяющие соотношения.
4.3 Приведение к каноническому виду
4.4 Система инвариантов
Оглавление
4.5 Присоединение
4.6 Создание машины Минского в полугруппе .
5. Конструкция конечноопределенной полугруппы, содержащей пениль потентный нильидеал
Библиография