? The Turing maskinen ble først beskrevet i 1937 av Alan Mathison Turing , en engelsk matematiker og pioner innen informatikk. En Turingmaskin er ikke en maskin i tradisjonell forstand , det er ikke en mekanisk anordning som er ment å være faktisk konstruert . I stedet er det en konseptuell eller matematisk maskin . Alan Turing

Alan Mathison Turing ble født i Paddington , London , i 1912 . Han studerte matematikk ved Cambridge University, hvor han senere underviste , før han flyttet til Princeton University i 1936. Han returnerte til England i 1938 og under andre verdenskrig jobbet for regjeringen koden og Cypher School ved Bletchley Park i Storbritannia, hvor han lede teamet som er ansvarlig for å knekke tyske Enigma -koden. Han jobbet for National Physical Laboratory og Manchester University, etter krigen og ble valgt inn som medlem av Royal Society i 1951 . Etter en dom for homoseksualitet i 1952 , Turing begikk selvmord i 1954 ved 41 .
Abstract Computer

En Turing maskin er , faktisk, en enkel abstrakt datamaskin . Det kan sees som et som har en uendelig lang , 1-D bånd delt i celler, som hver inneholder en 0 eller en 1 . Det har også en lese - skrive hodet som kan bevege seg frem og tilbake langs tape for å få tilgang til innholdet i hver celle . Tapen kan sees på som minnet om Turing maskin - men er selvsagt uendelig - og lese - skrive-hodet som minnet bussen
Filosofi

Alan Turing beskrev Turing maskin i et forsøk på å besvare en av de grunnleggende spørsmålene i filosofi informatikk , nemlig hva det betyr for en oppgave å være beregnbar . Intuitivt er en oppgave beregnbar om det kan bli brutt ned i et sett med instruksjoner - ellers kjent som en " algoritme " - som kan utføres av en maskin av noe slag for å fullføre oppgaven . Imidlertid kan forskjellige maskiner være i stand til å utføre ulike instruksjoner og fullføre ulike oppgaver , så det er et uendelig antall Turing maskiner.
Universal Turing Machine

Men Turing forestilt hver algoritme , for hver enkelt oppgave, skrevet ut som et sett av instruksjoner i en standard form. Hvis standard skjema for hver oppgave leveres til en enkelt Turing maskin , maskinen kan gjøres for å tolke instruksjonene og utføre dem på samme måte som bestemte Turing maskiner og er i stand til å fullføre alle mulige oppgaver. Dette er det som kalles en " universell Turing maskin. "