To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: A theoretical computing device, first posited by mathematician Alan Turing, which has been used extensively in analyzing computing problems such as tractability and complexity theory. [d] [e]
