54
правки
Изменения
м
Нет описания правки
|definition=Множество <tex>X</tex> называется перечислимым, если выполняется хотя бы одно условие из приведенных ниже:
# существует программа, перечисляющая все элементы <tex>X</tex> в произвольном порядке.
# <tex>X</tex> является областью определения [[Вычислимые функции|вычиcлимой функции ]] <tex>f</tex>.# <tex>X</tex> является областью значений [[Вычислимые функции|вычиcлимой функции ]] <tex>f</tex>.
# функция <tex>f_X(x) = \begin{cases}
1, & x \in X \\
*2 <tex>\Rightarrow</tex> 1, 3 <tex>\Rightarrow</tex> 1
Пусть <tex>X</tex> — область определения [[Вычислимые функции|вычислимой функции ]] <tex>f</tex>, вычисляемой программой <tex>p</tex>.
Тогда <tex>X</tex> перечисляется такой программой:
