(denotado también simplemente P′′) es un lenguaje de programación esotérico, creado por Corrado Böhm en 1964 para describir a una familia de máquinas de Turing.
== Definición ==
P′′ se define formalmente como un conjunto de palabras sobre un alfabeto de cuatro instrucciones {R, λ, (, )}, como sigue:
=== Sintaxis ===
R y λ son palabras en P′′.
Si p y q son palabras en P′′, entonces pq es una palabra en P′′.
Si q es una palabra en P′′, entonces (q) es una palabra en P′′.
Sólo palabras derivadas de las tres reglas anteriores son palabras en P′′.
=== Semántica ===
{a0, a1, ..., an}(n ≥ 1...