< language > A high-level language for programming Turing Machine s 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)