Изменения

Перейти к: навигация, поиск
м
Нет описания правки
# <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> &nbsp; — &nbsp; остановить &nbsp; <tex>p(x)</tex> &nbsp; через &nbsp; <tex>TL</tex> &nbsp; секунд. Если &nbsp; <tex>p(x)|_{TL}</tex> &nbsp; за &nbsp; <tex>TL</tex> &nbsp; секунд так и не вернула значение функции <tex>f(x)</tex>, то возвращаем <tex>\bot</tex>.
Тогда <tex>X</tex> перечисляется такой программой:
54
правки

Навигация