Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Technical Machine
|
| gptkbp:alphabet |
finite
|
| gptkbp:computationalPower |
equivalent to multi-tape Turing machine
|
| gptkbp:hasAcceptState |
yes
|
| gptkbp:hasComponent |
head
tape finite control |
| gptkbp:hasInputAlphabet |
yes
|
| gptkbp:hasOutputAlphabet |
yes
|
| gptkbp:hasRejectState |
yes
|
| gptkbp:hasStartState |
yes
|
| gptkbp:hasStateSet |
finite
|
| gptkbp:hasTapeCount |
1
|
| gptkbp:hasTransitionFunction |
yes
|
| https://www.w3.org/2000/01/rdf-schema#label |
single-tape Turing machine
|
| gptkbp:introduced |
gptkb:Alan_Turing
|
| gptkbp:isUniversal |
yes
|
| gptkbp:SIM |
gptkb:multi-tape_Turing_machine
|
| gptkbp:usedFor |
formalizing computation
|
| gptkbp:usedIn |
theoretical computer science
|
| gptkbp:bfsParent |
gptkb:multi-tape_Turing_machine
|
| gptkbp:bfsLayer |
5
|