Изменения

# <tex>X</tex> является областью значений вычиcлимой функции <tex>f</tex>

# Функция <tex>p_X(i) = \begin{cases}

\bot & i \notin X

\end{cases}</tex> - вычислима

for (n = 1 ... <tex>+\infty</tex>)

if (A(n) == i)