Введение
1. Алгебра с конечным базисом Грёбнера, и неразрешимой пробле мой делителей нуля 9
1.1 План построения алгебры с идеалом соотношений, заданным конечным базисом Грёбнера, в которой вопрос, является ли элемент делителем нуля, алгоритмически неразрешим 9
1.2 Универсальная машина Тьюринга и определяющие соотношения 12
1.3 Делители нуля и остановка машины 14
2. Вспомогательные сведения о машине Минского 26
3. Реализация Машины Минского в конечно-определенной полугруппе 35
3.1 План построения полугруппы с полуцелой размерностью Гельфанда- Кириллова 35
3.2 Определяющие соотношения 36
3.3 Приведение к каноническому виду 38
3.4 Работа основного механизма 43
3.5 Система инвариантов 46
3.6 Преобразование для увеличения количества нормальных слов 51
4. Построение полугруппы с рекурсивной размерностью Гельфанда- Кириллова 52
4.1 План построения полугруппы с рекурсивной размерностью Гельфанда-Кириллова 52
4.2 Определяющие соотношения 54
4.3 Приведение к каноническому виду 55
4.4 Система инвариантов 60
4.5 Присоединение 63
4.6 Создание машины Минского в полугруппе 65
5. Конструкция конечно-определенной полугруппы, содержащей ненршьпотентныи ниль-идеал 69
Библиография 76
