Universelle Turing-Maschine
Es handelt sich dabei um eine abstrakte, universale Rechenmaschine, die unter dem Namen TURING-MASCHINE bekannt geworden ist: Man muß sich vorstellen, daß durch diese Maschine ein unendlich langes Band läuft, das in Quadrate eingeteilt ist, von denen jedes entweder eines aus einer bestimmten Anzahl von Symbolen trägt oder leer ist. Die Maschine kann nur jeweils ein Quadrat abtasten und das Band um ein Quadrat vor oder zurückschieben. Sie kann ein Symbol löschen und drucken. Allein mit dieser einfachen Operation zeigt Turing, daß seine universale Maschine jede beliebige Anzahl von Programmen im Binärcode von Nullen und Einsen zum Ausdruck bringen kann.