1. Turing Machine.
2. A formal database specification language.
[Jargon File]
Nearby terms: TL/I « T Lisp « TLS « TM » tm » (TM) » TMDL