1. Turing Machine.
2. A formal database specification language.
[Jargon File]
Try this search on Wikipedia, OneLook, Google