54
правки
Изменения
Нет описания правки
Пусть <tex>X</tex> — область определения [[Вычислимые функции|вычислимой функции]] <tex>f</tex>, вычисляемой программой <tex>p</tex>.
Введем обозначение: <tex>p(x)|_{TL}</tex> — остановить программа <tex>p(x)</tex> через , запускаемая на <tex>TL</tex> секунд. Если <tex>p(x)|_{TL}</tex> за <tex>TL</tex> секунд так и не вернула значение функции <tex>f(x)</tex>, то возвращаем считаем, что это значение равно <tex>\bot</tex>.
Тогда <tex>X</tex> перечисляется такой программой:
