Turing machine (as a generalization)
GPTKB entity
Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
theoretical computer science
|
gptkbp:generalizes |
Technical Machine
|
https://www.w3.org/2000/01/rdf-schema#label |
Turing machine (as a generalization)
|
gptkbp:includes |
gptkb:multi-tape_Turing_machine
gptkb:nondeterministic_Turing_machine gptkb:probabilistic_Turing_machine gptkb:quantum_Turing_machine gptkb:oracle_Turing_machine |
gptkbp:studies |
computational complexity
decidability |
gptkbp:usedFor |
studying computation
|
gptkbp:usedIn |
theoretical computer science
|
gptkbp:bfsParent |
gptkb:Technical_Machine
|
gptkbp:bfsLayer |
4
|