Используемые в статье основные понятия из теории алгоритмов и теории нумераций содержатся в [1-3]. Понятие вычислимости в общей форме введено в [4], откуда следует, что для семейств множеств в иерархии Ершова [5] понятие вычислимости можно ввести следующим образом.
展开▼
