Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:machinery
|
| gptkbp:can_be_extended_by |
oracle Turing machine
|
| gptkbp:consists_of |
gptkb:cassette
gptkb:Headcrab state register |
| gptkbp:emulation |
any algorithm
|
| gptkbp:has_applications_in |
gptkb:Artificial_Intelligence
|
| gptkbp:has_variants |
gptkb:multi-tape_Turing_machine
gptkb:non-deterministic_Turing_machine |
| https://www.w3.org/2000/01/rdf-schema#label |
the Turing machine
|
| gptkbp:influenced |
the development of algorithms
|
| gptkbp:invention |
gptkb:Alan_Turing
|
| gptkbp:is_a |
gptkb:universal_machine
gptkb:Model gptkb:language gptkb:software_framework theoretical construct formal system mathematical abstraction concept in computer science concept in theoretical computer science theoretical model of computation decision procedure symbolic machine computational theory concept abstract computational device theoretical computer model |
| gptkbp:is_analyzed_in |
algorithm efficiency
computational problems |
| gptkbp:is_considered_as |
a model of computation
|
| gptkbp:is_described_as |
computational limits
Turing's 1936 paper |
| gptkbp:is_explored_in |
recursive functions
the limits of computation the nature of computation |
| gptkbp:is_fundamental_to |
gptkb:computer_science
the field of mathematics |
| gptkbp:is_part_of |
theoretical computer science
|
| gptkbp:is_related_to |
gptkb:Church-Turing_thesis
lambda calculus |
| gptkbp:is_theoretical_model_for |
modern computers
|
| gptkbp:is_used_in |
gptkb:crypt
gptkb:Software_Development algorithm analysis algorithm design complexity theory automata theory the study of algorithms hardware design formal language theory programming language theory |
| gptkbp:model |
human computation
|
| gptkbp:named_after |
gptkb:Alan_Turing
|
| gptkbp:operates |
symbols
|
| gptkbp:scientific_classification |
deterministic
non-deterministic |
| gptkbp:used_for |
computability theory
|
| gptkbp:was_a_demonstration_of |
computational complexity
decidability the halting problem computational equivalence |
| gptkbp:bfsParent |
gptkb:John_von_Neumann_architecture
|
| gptkbp:bfsLayer |
6
|