1. Turingol 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].
turingol |