TL/I

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

(1994-12-02)