= 0的时候结束，在这种情况下变量持有对贝祖等式：xA + yB = gcd(A,B)的解。
非确定性排序. do a>b → a, b := b, a这个程序在其中一个元素大于它的后续者的时候持续的置换元素。这个非确定性冒泡排序不比它的确定性版本更加有效率， 但是易于证明：只要元素仍未有序它就不会停止并且它每步至少排序2个元素。
Arg max. x, y = 1, 1 这个算法找到值1 ≤ "y" ≤ "n"，对于它给定整数函数是最大的。不只是