Diferencia entre revisiones de «P′′»

<math>\mathcal{P}^{\prime\prime}</math> (denotado también simplemente '''P′′''') es un [[lenguaje de programación esotérico]], creado por [[Corrado Böhm]]<ref name=Boh64>Böhm, C.: "On a family of Turing machines and the related programming language", ICC Bull. 3, 185-194, julio de 1964.</ref><ref name=BJ66>Böhm, C. and Jacopini, G.: "Flow diagrams, Turing machines and languages with only two formation rules", CACM 9(5), 1966. (Nota: Este es el artículo más citado sobre el [[Teorema del programa estructurado]].)</ref> en 1964 para describir a una familia de [[Máquina de Turing|máquinas de Turing]].

 

'''P′′''' se define formalmente como un conjunto de palabras sobre un alfabeto de cuatro instrucciones {<tt>R, λ, (, )</tt>}, como sigue: