Turingol

Turingol

(language)A high-level language for programming Turing Machines by Donald Knuth. It was the subject of the firstconstruction of a nontrivial attribute grammar.

["Semantics of Context-Free Languages", D. Knuth, Math Sys Thy2:127-145 (1975)].