54
правки
Изменения
м
Нет описания правки
# <tex>X</tex> является областью определения [[Вычислимые функции|вычиcлимой функции]] <tex>f</tex>.
# <tex>X</tex> является областью значений [[Вычислимые функции|вычиcлимой функции]] <tex>f</tex>.
# функция Функция <tex>f_X(x) = \begin{cases}
1, & x \in X \\
\bot, & x \notin X
Пусть <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> перечисляется такой программой:
