A simplified universal Turing machine
Published 1 January 1952
Edward F. Moore
Citations31
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
In 1936 Turing defined a class of logical machines which he used as an aid in proving certain results in mathematical logic, and which should prove of interest in connection with the theory of control and switching systems.
Abstract
In 1936 Turing (1) defined a class of logical machines (which he called a - machines, but which are now generally called Turing machines) which he used as an aid in proving certain results in mathematical logic, and which should prove of interest in connection with the theory of control and switching systems.
Keywords
Computer Science