Turing Machine
Turing Machine
British mathematician Alan Turing (1912–1954) described what became known as the "Turing Machine" in his 1936 paper, "On Computable Numbers, with an application to the Entscheidungsproblem," which was published in the Proceedings of the London Mathematical Society in early 1937. The machine was actually a concept, not a piece of equipment, but its principles set the stage for the development of digital computers later in the twentieth century.
The machine can be described as a finite state control device (meaning that it has a finite number of states that control its operations), with a tape of unlimited length, divided into squares, upon which symbols may be written or stored. A sequence of actions can take place when a symbol is scanned by a read/write head and the machine is in a certain state. The sequence of actions is the "program."
At any point in time, the finite state control will be in one state and the tape head will be scanning a single symbol, or square, on the tape. On the basis of this symbol and the current state, it will write a symbol on the square, or choose to leave the symbol alone, move the tape one square to the left or the right, and change to a "new" (possibly the same) state. All this constitutes a "move" of the basic machine.
The purpose of the machine was to provide a method for deciding mathematical questions. Turing had become interested in the foundations of logic, and one of the unsolved or open questions was the "decideability" problem. The problem, posed in 1928 by German mathematician David Hilbert (1862–1943), was: "could there exist, at least in principle, a definite method or procedure by which all mathematical questions could be decided?"
The key to answering the question lay in the provision of a method, and this is what Turing's machine was to provide. The machine would be given a set of instructions to carry out some process or procedure, and the procedure would be carried out in order to answer a particular question. A different procedure would be provided for each problem. However, one could imagine a procedure for each particular problem being written on a single Turing Machine that would interpret the instructions to mimic or emulate the other machines.This would be a Universal Turing Machine, capable of carrying out any problem or program supplied to it.
The Turing Machine was intended to reproduce the actions or the activities of a human carrying out a computation. In this sense, it introduced a definition of computing that was "mechanical," i.e., it could be carried out by following a set of instructions. Thus, the Turing Machine can be considered as a device or a set of devices for carrying out an algorithm .
An algorithm is a mathematical procedure that comes to a halt after a finite number of steps, no matter what the values given for the variables. A mathematical procedure is one that can be performed mechanically, without risk of unexpected situations, once the value of the variables has been provided. A decision algorithm is one that gives a "yes" or "no" answer to a particular problem in a finite number of steps. A problem is said to be "algorithmically decideable" if a decision algorithm exists for it.
The Entscheidungsproblem, proposed by Hilbert in 1928 and written about by Turing in 1936, was the problem of decideability. Ultimately, Turing analyzed the formulas or functions of the predicate calculus or predicate logic and concluded that it was not possible, for a Turing Machine or other logical method, to answer all mathematical questions. This same conclusion was reached independently by Alonzo Church (1903–1995), an American logician, shortly before. Turing and Church later worked together at Princeton University, where Turing was a graduate student and Church a faculty member.
Turing developed this idea for a mathematical machine in 1936. He did so to answer a specific question. The Turing Machine's value extends beyond its inventor's original purpose, however. It provided an abstract model of computation, a conceptual device that could compute any effective procedure, i.e., one that comes to a halt after a finite number of steps. Although Turing's machine was never implemented, its conceptualization served as a model in the development of the digital computer, a machine that could be programmed to perform any computable task. The conceptual Turing Machine is still studied by computer scientists, logicians, and philosophers.
see also Turing, Alan M.
Roger R. Flynn
Bibliography
Boolos, George S., and Richard C. Jeffrey. Computability and Logic, 3rd ed. Cambridge, UK: Cambridge University Press, 1989.
Hodges, Andrew. Alan Turing: The Enigma of Intelligence. London: Unwin Paperbacks, 1983.
Strathern, Paul. Turing and the Computer. New York: Anchor Books, 1999.
Internet Resources
Buena Vista University. <http://www.bvu.edu/faculty/schweller/Turing.html>
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"Turing Machine." Computer Sciences. . Encyclopedia.com. 19 Apr. 2018 <http://www.encyclopedia.com>.
"Turing Machine." Computer Sciences. . Encyclopedia.com. (April 19, 2018). http://www.encyclopedia.com/computing/newswireswhitepapersandbooks/turingmachine
"Turing Machine." Computer Sciences. . Retrieved April 19, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/newswireswhitepapersandbooks/turingmachine
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.
Turing machine
Turing machine (TM) An imaginary computing machine defined as a mathematical abstraction by Alan Turing to make precise the notion of an effective procedure (i.e. an algorithm). There are many equivalent ways of dealing with this problem; among the first was Turing's abstract machine, published in 1936.
A Turing machine is an automaton that includes a linear tape that is potentially infinite (in both directions), divided into boxes or cells, and read by a readhead that scans one cell at a time. Symbols written on the tape are drawn from a finite alphabet: s_{0},…,s_{p}
The control or processing unit of the machine can assume one of a finite number of distinct internal states: q_{0},…,q_{m}
The “program” for a given machine is assumed to be made up from a finite set of instructions that are quintuples of the form q_{i}s_{j}s_{k}Xq_{j} where X is R, L, or N
The first symbol indicates that the machine is in state q_{i} while the second indicates that the head is reading s_{j} on the tape. In this state the machine will replace s_{j} by s_{k} and if X = R the head will move to the right; if X = L it will move to the left and if X = N it will remain where it is. To complete the sequence initiated by this triple the machine will go into state q_{j}.
The machine calculates functions on the natural numbers as follows: a function f, f : N^{k} → N where N = {0,1,2,…}, N^{k} = N × … × N k times
is (Turing) computable if for each x in N^{k}, when some representation of x in N^{k} is placed on the tape (with the machine in the initial state of q_{0} say), the machine halts with a representation of f(x) on the tape. See also effective computability.
It is customary in the study of abstract computation models to make a distinction between deterministic and nondeterministic algorithms. In a deterministic Turing machine the overall course of the computation is completely determined by the Turing machine (program), the starting state, and the initial tapeinputs; in a nondeterministic Turing machine there are several possibilities at each stage of the computation: it can execute one out of possibly several machine instructions. The class of problems solvable by deterministic Turing machines in polynomial time is the class P; the class of problems solvable by nondeterministic Turing machines in polynomial time is the class NP. See also P=NP question.
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"Turing machine." A Dictionary of Computing. . Encyclopedia.com. 19 Apr. 2018 <http://www.encyclopedia.com>.
"Turing machine." A Dictionary of Computing. . Encyclopedia.com. (April 19, 2018). http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/turingmachine
"Turing machine." A Dictionary of Computing. . Retrieved April 19, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/turingmachine
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.
Turing machine
Turing machine, a mathematical model of a device that computes via a series of discrete steps and is not limited in use by a fixed maximum amount of data storage. Introduced by the British mathematician Alan Turing in 1936, a Turing machine is a particularly simple computer, one whose operations are limited to reading and writing symbols on tape, or moving along the tape to the left or to the right one symbol at a time. Its behavior at a given moment is determined by the symbol in the square currently being read and by the current state of the machine. The theoretical prototype of the electronic digital computer, Turing machines are one of the key abstractions used in modern computability theory, the study of what computers can and cannot do. Appropriate Turing machines have found application in the study of artificial intelligence, the structure of languages, and pattern recognition.
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"Turing machine." The Columbia Encyclopedia, 6th ed.. . Encyclopedia.com. 19 Apr. 2018 <http://www.encyclopedia.com>.
"Turing machine." The Columbia Encyclopedia, 6th ed.. . Encyclopedia.com. (April 19, 2018). http://www.encyclopedia.com/reference/encyclopediasalmanacstranscriptsandmaps/turingmachine
"Turing machine." The Columbia Encyclopedia, 6th ed.. . Retrieved April 19, 2018 from Encyclopedia.com: http://www.encyclopedia.com/reference/encyclopediasalmanacstranscriptsandmaps/turingmachine
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.
Turing machine
Turing machine a mathematical model of a hypothetical computing machine which can use a predefined set of rules to determine a result from a set of input variables. It is named for the English mathematician Alan Mathison Turing (1912–54), who developed the concept of a theoretical computing machine, a key step in the development of the first computer, and carried out important codebreaking work in the Second World War.
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"Turing machine." The Oxford Dictionary of Phrase and Fable. . Encyclopedia.com. 19 Apr. 2018 <http://www.encyclopedia.com>.
"Turing machine." The Oxford Dictionary of Phrase and Fable. . Encyclopedia.com. (April 19, 2018). http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/turingmachine
"Turing machine." The Oxford Dictionary of Phrase and Fable. . Retrieved April 19, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/turingmachine
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.