Böhm's language

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

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

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

  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.
  4. Knuth, p. 36
  5. Knuth, p. 39
  6. Knuth, p. 40
  7. Knuth, p. 36-37

Sources

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