Некоторые вопросы обобщенной вычислимости

Рассматривается некоторая нестандартная версия машин с оракулом. Строится оракул, который в определенном смысле решает свою собственную проблему остановки. Оценивается класс функций, вычислимых с этим.