Jump to content

Turing completeness

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 61.9.128.xxx (talk) at 04:01, 8 September 2001 (initial article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

A term applied to computers both imagined and real, programming languges, and other logical systems. A Turing-complete system is one in which the behaviour of a universal Turing machine can be completely emulated. No computers completely meet this requirement, as a Turing machine has unlimited storage capacity, impossible to emulate on a real device. With this proviso, however, all modern computers are Turing-complete, as are all general-purpose programming languages.


Turing-completeness is significant in that every plausible design for a computing device so far advanced can be emulated by a universal Turing machine - thus, a machine that can act as a universal Turing machine can, in principle, perform any calculation that any other computer is capable of (note, however, that this says nothing about the time it may take to do such a calculation).