P′′

P′′
Paradigm	Imperative, structured
Designed by	Corrado Böhm
First appeared	1964
Typing discipline	untyped
Dialects
	Brainfuck
Influenced
	Brainfuck

P′′ is a primitive computer programming language created by Corrado Böhm^[1]^[2] in 1964 to describe a family of Turing machines.

Definition

${\textstyle {\mathcal {P}}^{\prime \prime }}$ (hereinafter written P′′) is formally defined as a set of words on the four-instruction alphabet ${\textstyle \{R,\lambda ,(,)\}}$ , as follows:

Syntax

${\textstyle R}$ and ${\textstyle \lambda }$ are words in P′′.
If ${\textstyle q_{1}}$ and ${\textstyle q_{2}}$ are words in P′′, then ${\textstyle q_{1}q_{2}}$ is a word in P′′.
If ${\textstyle q}$ is a word in P′′, then ${\textstyle (q)}$ is a word in P′′.
Only words derivable from the previous three rules are words in P′′.

Semantics

${\textstyle \{\Box ,c_{1},c_{2},\ldots ,c_{n}\}}$ is the tape-alphabet of a Turing machine with left-infinite tape, ${\textstyle \Box }$ being the blank symbol, equivalent to ${\textstyle c_{0}}$ .
All instructions in P′′ are permutations of the set ${\textstyle X}$ of all possible tape configurations; that is, all possible configurations of both the contents of the tape and the position of the tape-head.
${\textstyle \alpha }$ is a predicate saying that the current symbol is not ${\textstyle \Box }$ . It is not an instruction and is not used in programs, but is instead used to help define the language.
${\textstyle R}$ means move the tape-head rightward one cell (if possible).
${\textstyle \lambda }$ means replace the current symbol ${\textstyle c_{i}}$ with ${\textstyle c_{(i+1){\bmod {(}}n+1)}}$ , and then move the tape-head leftward one cell.
${\textstyle q_{1}q_{2}}$ means the function composition ${\textstyle q_{2}\circ q_{1}}$ . In other words, the instruction ${\textstyle q_{1}}$ is performed before ${\textstyle q_{2}}$ .
${\textstyle (q)}$ means iterate ${\textstyle q}$ in a while loop, with the condition ${\textstyle \alpha }$ .

Relation to other programming languages

P′′ was the first "GOTO-less" imperative structured programming language to be proven Turing-complete^[1]^[2]
The brainfuck language (apart from its I/O commands) is a minor informal variation of P′′. Böhm gives explicit P′′ programs for each of a set of basic functions sufficient to compute any computable function, using only ${\textstyle (}$ , ${\textstyle )}$ and the four words ${\textstyle r\equiv \lambda R,r^{\prime }\equiv r^{n}}$ where ${\textstyle r^{n}}$ is the ${\textstyle n}$ th iterate of ${\textstyle r}$ , ${\textstyle L\equiv r^{\prime }\lambda ,R.}$ These are the equivalents of the six respective brainfuck commands [, ], +, -, <, >. Note that since ${\textstyle c_{n+1}\equiv c_{0}\equiv \Box }$ , incrementing the current symbol ${\textstyle n}$ times will wrap around so that the result is to "decrement" the symbol in the current cell by one ( ${\textstyle r^{\prime }}$ ).

Example program

Böhm^[1] gives the following program to compute the predecessor (x-1) of an integer x > 0:

R(R)L(r^{\prime }(L(L))r^{\prime }L)Rr

which translates directly to the equivalent brainfuck program:

 >[>]<[−[<[<]]−<]>+

The program expects an integer to be represented in bijective base-k notation, with ${\textstyle c_{1},c_{2}\ldots ,c_{k}}$ encoding the digits ${\textstyle 1,2,\ldots ,k}$ respectively, and to have ${\textstyle \Box }$ before and after the digit-string. (E.g., in bijective base-2, the number eight would be encoded as ${\textstyle \Box c_{1}c_{1}c_{2}\Box }$ , because 8 in bijective base-2 is 112.) At the beginning and end of the computation, the tape-head is on the ${\textstyle \Box }$ preceding the digit-string.

References

1 2 3 Böhm, C.: "On a family of Turing machines and the related programming language", ICC Bull. 3, 185-194, July 1964.
1 2 Böhm, C. and Jacopini, G.: "Flow diagrams, Turing machines and languages with only two formation rules", CACM 9(5), 1966. (Note: This is the most-cited paper on the structured program theorem.)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[bohm1964-1] 1 2 3 Böhm, C.: "On a family of Turing machines and the related programming language", ICC Bull. 3, 185-194, July 1964.

[bohm1966-2] 1 2 Böhm, C. and Jacopini, G.: "Flow diagrams, Turing machines and languages with only two formation rules", CACM 9(5), 1966. (Note: This is the most-cited paper on the structured program theorem.)