Turingol

language A high-level language for programming TuringMachines by Donald Knuth. It was the subject of the first

construction of a nontrivial attribute grammar.

["Semantics of Context-Free Languages", D. Knuth, Math Sys Thy

2:127-145 (1975)].

(1995-10-08)