Turing Machine: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Eric M Gearhart
(added blurb about Alan Turing)
imported>Warren Schudy
(See talk page)
Line 1: Line 1:
{{subpages}}
{{subpages}}
A '''Turing Machine''' is known in the computing field as a machine that qualifies as a [[computer]] under a specific set of conditions. Devices can be considered "Turing complete" if they fill these criteria.


The device does not necessarily have to be intentionally designed to compute or be a computer; if a device, piece of software or even an abstract concept meets the criteria it is considered a Turing machine.
== Turing Completeness ==
 
A device that can simulate any Turing Machine is called '''Turing complete'''. The device does not necessarily have to be intentionally designed to compute or be a computer; if a device, piece of software or even an abstract concept meets the criteria it is Turing complete.


Even software that is only used as a teaching tool or exist only as a concept, not as an implementation (such as [[Donald Knuth|Donald Knuth's]] MMIX<ref name=MMIX> {{cite web | url=http://www-cs-faculty.stanford.edu/~knuth/mmix.html  
Even software that is only used as a teaching tool or exist only as a concept, not as an implementation (such as [[Donald Knuth|Donald Knuth's]] MMIX<ref name=MMIX> {{cite web | url=http://www-cs-faculty.stanford.edu/~knuth/mmix.html  
Line 10: Line 11:


==References==
==References==
<references />

Revision as of 17:55, 1 January 2008

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Turing Completeness

A device that can simulate any Turing Machine is called Turing complete. The device does not necessarily have to be intentionally designed to compute or be a computer; if a device, piece of software or even an abstract concept meets the criteria it is Turing complete.

Even software that is only used as a teaching tool or exist only as a concept, not as an implementation (such as Donald Knuth's MMIX[1] can be considered "Turing complete," in a completely abstract sense.

The name "Turing machine" and the concept known as "Turing completeness" are both derived from noted mathematician and computer scientist Alan Turing.

References

  1. Donald Knuth. Knuth: MMIX. Retrieved on 2007-11-10.