? The Turing maskinen beskrevs första gången 1937 av Alan Mathison Turing , en engelsk matematiker och pionjär inom datavetenskap . En Turing maskinen inte är en maskin i traditionell mening , det är inte en mekanisk anordning som är avsedd att faktiskt konstruerad . Istället är det ett begrepp eller matematisk maskin . Alan Turing
Alan Mathison Turing föddes i Paddington , London , 1912 . Han studerade matematik vid Cambridge University , där han senare undervisade , innan han flyttade till Princeton University 1936 . Han återvände till England 1938 och under andra världskriget arbetade för regeringen koden och Cypher School i Bletchley Park i England , där han leder det team som ansvarar för sprickbildning den tyska Enigma -koden . Han arbetade för National Physical Laboratory och Manchester University efter kriget och valdes en Medlem av Royal Society 1951 . Efter en fällande dom för homosexualitet 1952 , Turing begick självmord 1954 kl 41 . Addera Abstrakta Datorer
en Turing maskin är i själva verket en enkel abstrakt dator . Det kan visualiseras som har en oändligt lång , 1 -D tejp uppdelad i celler , var och en innehåller en 0 eller en 1 . Den har också en läs - skriv huvudet som kan röra sig fram och tillbaka längs bandet för att komma åt innehållet i varje cell . Bandet kan ses som minnet av Turing maskinen - men är naturligtvis oändligt - och läs - skriv huvudet som minnesbuss
Filosofi
Alan Turing beskrev Turing maskinen i ett försök att svara på en av de grundläggande frågorna i filosofi datavetenskap , nämligen vad det innebär för en uppgift att vara beräkningsbar . Intuitivt är en uppgift computable om det kan delas upp i en uppsättning instruktioner - annars känd som en " algoritm " - som kan utföras av en maskin av något slag för att slutföra uppgiften . Dock kan olika maskiner kunna utföra olika instruktioner och slutföra olika uppgifter , så det finns ett oändligt antal Turingmaskiner . Addera Universal Turing Machine
dock Turing föreställde varje algoritm , för varje särskild uppgift , skrivs ut som en uppsättning instruktioner i ett standardformulär . Om standardformulär för varje uppgift tillförs en enda Turing maskin , kan maskinen göras för att tolka instruktioner och utföra dem på samma sätt som vissa Turingmaskiner och är kapabel att slutföra alla tänkbara uppgifter . Detta är vad som kallas en " universell Turing maskin . " Addera
