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