Die Turing-Maschine wurde zum ersten Mal im Jahre 1937 von Alan Turing Mathison , ein englischer Mathematiker und Pionier der Informatik beschrieben . Eine Turing-Maschine ist keine Maschine im herkömmlichen Sinne , es ist nicht eine mechanische Vorrichtung , die dazu bestimmt tatsächlich entwickelt werden soll. Stattdessen ist es eine konzeptionelle oder mathematische Maschine . Alan Turing
Alan Mathison Turing wurde in Paddington , London, im Jahr 1912 geboren. Er studierte Mathematik an der Universität Cambridge , wo er später lehrte , bevor er nach Princeton University im Jahr 1936. Er kehrte nach England im Jahre 1938 und während des Zweiten Weltkriegs arbeitete für die Regierung Kodex und Cypher School in Bletchley Park in Großbritannien, wo er das Team verantwortlich für das Knacken der deutschen Enigma-Codes führen . Er arbeitete für die National Physical Laboratory und der Universität Manchester nach dem Krieg und wurde als Fellow der Royal Society im Jahre 1951 gewählt. Nach einer Verurteilung wegen Homosexualität in 1952 Turing beging im Jahr 1954 auf 41 .
Abstrakt Computer
Eine Turing-Maschine ist in der Tat eine einfache abstrakte Computer. Es kann man sich als einen unendlich lang, 1 -D -Band in Zellen , von denen jede eine 0 oder eine 1 enthält unterteilt. Es hat auch eine Lese-Schreib- Kopf hin und her bewegen kann entlang des Bandes , den Inhalt jeder Zelle zugreifen . Das Band kann als Speicher der Turing-Maschine gedacht werden - aber ist natürlich unendlich - und die Schreib-Lese- Kopf, als der Speicher-Bus
Philosophie
Alan Turing beschrieb die Turing-Maschine in dem Bemühen, eine der grundlegenden Fragen in der Philosophie der Informatik , nämlich , was es für eine Aufgabe, berechenbar sein bedeutet, zu beantworten. Anschaulich ist eine Aufgabe berechenbar , wenn es in eine Reihe von Anweisungen aufgeteilt werden - anders als ein " Algorithmus " bezeichnet - , die von einer Maschine von einer Art , um die Aufgabe ausgeführt werden kann . Jedoch können verschiedene Maschinen in der Lage sein die Durchführung verschiedener Anweisungen und Erfüllen von verschiedenen Aufgaben , so gibt es eine unendliche Anzahl von Turing-Maschinen .
Universelle Turing-Maschine
jedoch Turing vorgestellt jeden Algorithmus , für jede Aufgabe , als einen Satz von Anweisungen in einer Standardform geschrieben . Wenn das Formblatt für jede Aufgabe zu einem einzigen Turing-Maschine geliefert wird , kann die Maschine gemacht, um die Anweisungen zu interpretieren und sie ausführen, in der gleichen Weise wie insbesondere Turing-Maschinen und ist in der Lage Abschluss aller möglichen Aufgaben . Dies ist, was bekannt als " universelle Turing- Maschine . "