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)].

Last updated: 1995-10-08

Nearby terms:

TuringTuring MachineTuringolTuring PlusTuring tar-pitTuring test

Try this search on Wikipedia, Wiktionary, Google, OneLook.