Turing machine (as a generalization)
GPTKB entity
Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:generalizes |
gptkb:Technical_Machine
|
| 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 |
gptkb:theoretical_computer_science
|
| http://www.w3.org/2000/01/rdf-schema#label |
Turing machine (as a generalization)
|