Аннотация:
Дана классификация минимальных нумераций по алгоритмическому строению их нумерационных эквивалентностей и приведены соответствующие критерии минимальности. Построен пример вычислимого дискретного семейства рекурсивно перечислимых множеств без вычислимых минимальных нумераций и примеры семейств, все вычислимые нумерации которых минимальны, но не позитивны.
Библиогр. 22.
Полный текст:
PDF файл (3491 kB)