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
Article
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: