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
Last updated: 1995-10-08
Turing ♦ Turing Machine ♦ Turingol ♦ Turing Plus ♦ Turing tar-pit ♦ Turing test
Try this search on