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].

Last updated: 1994-12-02

Nearby terms:

TL1TLATLAsTLBTLDTLITL/IT LispTLSTMtm(TM)TMDLTMG

Try this search on Wikipedia, OneLook, Google


Loading