<language> A high-level language for programming Turing Machines 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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Turbo Prolog « Turing « Turing Machine « Turingol » Turing Plus » Turing tar-pit » Turing test
