極限計算可能関数
これは X s ( x ) {\displaystyle X_{s}(x)} が収束することから必ず存在する。このとき X 0 ( x ) , X 1 ( x ) , ... {\displaystyle X_{0}(x),X_{1}(x),\ldots } の値はちょうど n {\displaystyle n} 回だけ変化する。そこで n {\displaystyle n} が偶数ならば X 0 ( x ) {\displaystyle X_{0}(x)} を、 n {\displaystyle n} が奇数ならば 1 − X 0 ( x ) {\displaystyle 1-X_{0}(x)} を出力する。この出力は X ( x ) {\displaystyle X(x)} に等しい。
accept X 0 ( x ) X 1 ( x ) X 3 ( x ) ⋯ reject X 2 ( x ) X 4 ( x ) X 5 ( x ) ⋯ mind change 0 0 1 2 3 3 ⋯ {\displaystyle {\begin{matrix}{\mbox{accept}}&X_{0}(x)&X_{1}(x)&&X_{3}(x)&&&\cdots \\{\mbox{reject}}&&&X_{2}(x)&&X_{4}(x)&X_{5}(x)&\cdots \\{\mbox{mind change}}&0&0&1&2&3&3&\cdots \end{matrix}}}