Jump to content

Böhm's language

From Wikipedia, the free encyclopedia

Böhm's language refers to the language, machine and a translation method developed by Corrado Böhm during the latter part of 1950. Böhm used this work as part of his dissertation, submitted in 1951 (amended after submission), published in 1954.[1][2][3]

The compiler

[edit]

Böhm's work described the first complete meta-circular compiler. The code for the compiler was remarkably precise, and consisted of only 114 lines of code.[4] Since the language accepted only two kinds of expressions: fully parenthesized or without parenthesis, but with operator precedence, therefore the code of the compiler split into two parts. 59 lines were used to handle formulas with parenthesis, 51 to handle operator precedence expressions and 4 to decide between those two cases.[5]

Böhm's parsing technique for expressions had only linear complexity. It generated instructions to a structure similar to a binary tree.[6]

The language

[edit]

Böhm's language consisted of only assignment operations. It had no special constructs like user defined functions, control structures. Variables represented only non-negative integers. To perform a jump one had to write to a special π variable. To perform I/O ? symbol was used.[7]

An example program which loads 11-element array from an input would look as follows.

A. Set i = 0 (plus the                                π → G
   base address 100 for                             100 → i
   the input array a).                                B → π
B. Let a new input a[i] be                           π' → B
   given. Increase i by unity,                        ? → ↓i
   and stop if i > 10,                              i+1 → i
   otherwise repeat B.  [(1∩(i∸110))∙Ω]+[(1∸(i∸110))∙B] → π

∩ represents a minimum operator and ∸ logical difference.

References

[edit]
  1. ^ Knuth, p. 35–36, 99
  2. ^ "Corrado Böhm's PhD, a translation". Peter Sestoft, IT University of Copenhagen. 2016. Retrieved 2023-07-10.
  3. ^ Böhm, Corrado (1954). Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme (Doctoral Thesis thesis) (in French). ETH Zurich. doi:10.3929/ethz-a-000090226. hdl:20.500.11850/132662.
  4. ^ Knuth, p. 36
  5. ^ Knuth, p. 39
  6. ^ Knuth, p. 40
  7. ^ Knuth, p. 36-37

Sources

[edit]