Этот псевдокод в том виде, в котором он был задан изначально , завершится для всех целых чисел. Если дано нечетное целое число, оно вычтет одно из него и вернется к измененному значению; для четных целых он делится на 2, но не рекурсивно . Поскольку функция возвращается с четным числом в качестве параметра при первоначальном вводе нечетного числа, она будет повторяться не более одного раза, а затем возвращаться.
(Примечание: код, который изначально был указан на момент публикации, был f (x) = f (x-1) для нечетного x.)
В новой редакции оно будет прекращено для всех неотрицательных целых чисел. Тем не менее, он не завершится для всех отрицательных целых чисел; в частности, f(-1)это нескончаемый вызов.