? The Turing-maskine blev første gang beskrevet i 1937 af Alan Mathison Turing , en engelsk matematiker og pioner inden for datalogi. En Turing-maskine er ikke en maskine i traditionel forstand , det er ikke en mekanisk apparatur , der er beregnet til at blive faktisk manipuleret . I stedet er det en konceptuel eller matematisk maskine . Alan Turing
Alan Mathison Turing blev født i Paddington, London, i 1912. Han studerede matematik ved Cambridge University, hvor han efterfølgende underviste , før han flyttede til Princeton University i 1936. Han vendte tilbage til England i 1938 og under Anden Verdenskrig arbejdede for regeringen kodeks og Cypher School ved Bletchley Park i Storbritannien, hvor han føre holdet er ansvarlig for revner den tyske Enigma -koden. Han arbejdede for National Physical Laboratory og Manchester University efter krigen og blev valgt som en kollega i Royal Society i 1951. Efter en dom for homoseksualitet i 1952 , A Turing-maskine Turing begik selvmord i 1954 ved 41 .
Abstrakt Computer
er i virkeligheden en simpel abstrakt computer. Det kan visualiseres som havende en uendelig lang , 1- D bånd opdelt i celler, som hver indeholder et 0 eller et 1 . Det har også en læse-skrive hoved, der kan bevæge sig frem og tilbage langs båndet for at få adgang til indholdet af hver celle . Båndet kan opfattes som den hukommelse Turing-maskine - men er selvfølgelig uendelig - og læse-skrive hoved som memory bus
Filosofi < br . >
Alan Turing beskrev Turing-maskine i et forsøg på at besvare et af de fundamentale spørgsmål i filosofi datalogi, nemlig hvad det betyder for en opgave at være beregnelige . Intuitivt en opgave er beregnelige hvis det kan opdeles i en række instrukser - ellers kendt som en " algoritme" - som kan udføres af en maskine af en slags til at fuldføre opgaven . Dog kan forskellige maskiner være i stand til at udføre forskellige instruktioner og fuldføre forskellige opgaver , så der er et uendeligt antal Turing-maskiner .
Universal Turing Machine
dog Turing forestillet hver algoritme , for hver enkelt opgave , skrives ud som et sæt af instruktioner i en standardformular. Hvis standardformular for hver opgave leveres til en enkelt Turing -maskine, kan maskinen gøres for at fortolke de instruktioner og gennemføre dem på samme måde som bestemte Turingmaskiner og er i stand at færdiggøre alle mulige opgaver. Dette er, hvad der er kendt som en "universel Turing-maskine . "