De Turing machine werd voor het eerst beschreven in 1937 door Alan Mathison Turing , een Engels wiskundige en pionier op het gebied van de informatica . Een Turing machine is een machine in de klassieke zin , het is geen mechanisch apparaat dat bedoeld is om daadwerkelijk worden gemanipuleerd . In plaats daarvan is een conceptueel of mathematische machine . Alan Turing Alan Mathison Turing werd geboren in Paddington , Londen , in 1912 . Hij studeerde wiskunde aan de Universiteit van Cambridge , waar hij later leerde , voordat hij naar Princeton University in 1936 . Hij keerde terug naar Engeland in 1938 en tijdens de Tweede Wereldoorlog werkte voor de regering Code en Cypher School in Bletchley Park in Engeland , waar hij leiding gaf aan het team dat verantwoordelijk is voor het kraken van de Duitse Enigma -code . Hij werkte voor het National Physical Laboratory en de Universiteit van Manchester na de oorlog en werd als fellow van de Royal Society verkozen in 1951 . Na een veroordeling voor homoseksualiteit in 1952 , Turing pleegde zelfmoord in 1954 op 41 . Abstract Computer Een Turing machine is in feite een eenvoudige abstracte computer . Het kan worden gevisualiseerd als met een oneindig lang , 1 - D tape verdeeld in cellen , die elk een 0 of een 1 . Het heeft ook een lees - schrijfkop die heen en weer kan bewegen langs de tape om de inhoud van elke cel . De tape kan worden gezien als het geheugen van de Turing machine - maar is natuurlijk oneindig - en de lees - schrijfkop als de geheugenbus Wijsbegeerte < br . > Alan Turing beschreef de Turing machine in een poging om een van de fundamentele vragen in de filosofie van de informatica , te weten , wat het betekent voor een taak te zijn berekenbaar beantwoorden . Intuïtief , een taak is berekenbaar als het kan worden opgesplitst in een reeks instructies - ook wel bekend als een " algoritme " - die door een machine van een soort om de taak te voltooien kan worden uitgevoerd . Echter , kunnen verschillende machines Universele Turing Machine echter in staat zijn om de uitvoering van verschillende instructies en het invullen van verschillende taken , zodat er een oneindig aantal Turing machines . , turing gedacht elk algoritme voor elke specifieke opdracht , geschreven als een reeks instructies in een standaardvorm . Als het standaardformulier voor elke taak wordt geleverd aan een Turing machine , kan de machine worden gedaan om de instructies te interpreteren en uit te voeren op dezelfde manier als bijzonder Turing -machines en is in staat het vervullen van alle mogelijke taken . Dit is wat bekend staat als een " universele Turing machine . "
|