Turingol <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)