Este programa recibe como entrada un número entero definido en notación de ''[[numeraciónNumeración biyectiva|numeración biyectiva base-n]]'', con a<sub>1</sub>, ..., a<sub>''n''</sub> codificando los dígitos 1,...,''n'', respectivamente, y agregando un blanco a<sub>0</sub> antes y después del [[cadena de caracteres|string]] del dígito. (Por ejemplo, en numeración biyectiva base-2, el número 8 se codificaría como a<sub>0</sub>a<sub>1</sub>a<sub>1</sub>a<sub>2</sub>a<sub>0</sub>, porque <tt>8 = <u>1</u>*2<sup>2</sup> + <u>1</u>*2<sup>1</sup> + <u>2</u>*2<sup>0</sup></tt>.) Al comienzo y al final del cómputo, la cabeza de la cinta está en el a<sub>0</sub> precediendo el string que representa el dígito.