P"

${{𝒫}}^{\prime \prime }$ (hereafter written P′′) is a primitive programming language created by Corrado Böhm ^1,2 in 1964 to describe a family of Turing machines.