PAGS''

P′′ es un lenguaje de programación de bajo nivel creado en 1964 por Corrado Böhm .

Definición

P′′ se define formalmente como un conjunto de palabras alfabéticas de 4 instrucciones {R, λ, (, )} de la siguiente manera:

Sintaxis

1. R y λ son palabras.
2. Si p y q son palabras, entonces pq es una palabra.
3. Si q es una palabra, entonces (q) es una palabra.
4. El resto de las secuencias de caracteres no son palabras.

Semántica

1. {a0, a1, ..., an} (n ≥ 1)- el alfabeto de una cinta infinita (similar a la cinta de una máquina de Turing), - un símbolo vacío.a0
2. R : desplaza el cabezal de la cinta una celda a la derecha.
3. λ : reemplace el carácter actual con ( se reemplaza por ) y mueva la cabeza una celda a la izquierda.aiai+1ana0
4. (q) — repite la(s) operación(es) q hasta que el valor de la celda actual sea igual a .a0
5. Las operaciones se realizan de izquierda a derecha en el orden en que están escritas, hasta que no quede nada a la derecha.

Datos adicionales

1. P′′ es el primer lenguaje de programación completo de Turing sin la instrucción GOTO .
2. Los comandos de lenguaje de Brainfuck (con la excepción de entrada y salida) se pueden traducir a P′′ y viceversa: