Also known as P", P''
P′′ (P double prime) is a primitive computer programming language created by Corrado Böhm in 1964 to describe a family of Turing machines. It provided one of the earliest formulations of the single-entry single-exit principle central to structured programming.
~14 min read
Encyclopedic overview
17 sectionsContents
- Definition
- Syntax
- Semantics
- Example words
- Example 1
- Example 2
- Foundation of structured programming
- Relation to other programming languages
- P′′ versus languages based on WHILE
- Relation to Brainfuck
- Instruction correspondence
- Tape mirroring
- Example translation from P′′ to BF
- See also
- Notes and references
- Bibliography
- External links
P′′ (P double prime) is a primitive computer programming language created by Corrado Böhm in 1964 to describe a family of Turing machines. It provided one of the earliest formulations of the single-entry single-exit principle central to structured programming.
==Definition== P′′ is formally defined as a set of words on the four-instruction alphabet \{ \, R, \lambda, (, ) \, \}, as follows:
Excerpted from Wikipedia’s “P′′” article, available under the CC BY-SA 4.0 licence.