Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
theoretical computer |
| gptkbp:category |
gptkb:Automata_theory
gptkb:Theoretical_computer_science Models of computation |
| gptkbp:describedBy |
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
|
| gptkbp:describedYear |
1936
|
| gptkbp:hasProperty |
can interpret encoded instructions
can simulate any algorithm programmable |
| https://www.w3.org/2000/01/rdf-schema#label |
universal Turing machine
|
| gptkbp:influenced |
theory of computation
development of modern computers |
| gptkbp:input |
description of another Turing machine
input for simulated machine |
| gptkbp:inventedBy |
gptkb:Alan_Turing
|
| gptkbp:isAbstract |
true
|
| gptkbp:output |
output of simulated machine
|
| gptkbp:relatedTo |
gptkb:Church–Turing_thesis
gptkb:Turing_completeness Technical Machine |
| gptkbp:SIM |
any Turing machine
|
| gptkbp:symbol |
U
|
| gptkbp:usedIn |
gptkb:complexity_theory
computability theory theoretical computer science |
| gptkbp:bfsParent |
gptkb:Technical_Machine
|
| gptkbp:bfsLayer |
4
|