P′′

P′′ (P double prime[1]) is a primitive computer programming language created by Corrado Böhm[2][3] in 1964 to describe a family of Turing machines.

Böhm[2] gives the following program to compute the predecessor (x-1) of an integer x > 0: