Diferencia entre revisiones de «P′′»

Contenido eliminado Contenido añadido
m Revertidos los cambios de 186.141.200.250 (disc.) a la última edición de Jmvgpartner
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 27:
 
== Relación con otros lenguajes de programación ==
P′′ fue el primer lenguaje imperativo de [[programación estructurada]] que prescindió del [[GOTOGyduIoyOTO]] para ser demostrada su pertenencia a los [[Turing completo|Turing completos]].<ref name=Boh64/><ref name=BJ66/>
 
El lenguaje [[Brainfuck]] (aparte de sus comandos de [[Entrada/Salida|E/S]]) es una variación menos informal de P′′, que influyó a su vez posteriormente la creación de otros [[Lenguaje de programación esotérico|lenguajes esotéricos]], tales como [[Ook!]] y [[Tink]]. Böhm<ref name=Boh64/> define programas explícitos para P′′ para cada uno de los conjuntos de funciones básicas suficientes para computar cualquier [[función computable]], utilizando sólo <tt>(</tt>, <tt>)</tt> y las cuatro palabras <tt>r ≡ λR, r′ ≡ r<sup>''n''</sup>, L ≡ r′λ, R.</tt> Estos son los comandos equivalentes de los seis usados respectivamente por Brainfuck: <tt>[, ], +, -, <, ></tt>. Note que desde <tt>a<sub>''n''+1</sub> = a<sub>0</sub></tt>, realizar <tt>r</tt> (símbolo de "incremento" en la celda actual) <tt>''n''</tt> veces dará como resultado un "decremento" del símbolo en la celda actual (<tt>r′</tt>).