TL/I




<language> An intermediate language for Turing Machines.

["Examples of Formal Semantics", D. Knuth in Symp on Semantics of Algorithmic Languages, E. Engeler ed, LNM 188, Springer 1971, pp. 212-235].



< Previous Terms Terms Containing TL/I Next Terms >
TLA
TLAs
TLB
TLD
TLI
 T Lisp
TLS
TM
tm
(TM)