Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb:abstract_machine |
| gptkbp:alsoKnownAs |
gptkb:Post_machine
|
| gptkbp:describedBy |
gptkb:Journal_of_Symbolic_Logic
|
| gptkbp:equivalentTo |
gptkb:Technical_Machine
|
| gptkbp:hasComponent |
head
tape finite set of instructions |
| gptkbp:hasInstruction |
conditional branch
erase symbol halt move left move right print symbol |
| gptkbp:hasProperty |
universality
|
| gptkbp:includesState |
finite state
|
| gptkbp:introducedIn |
1947
|
| gptkbp:inventedBy |
gptkb:Emil_Post
|
| gptkbp:operates |
infinite tape
|
| gptkbp:relatedTo |
gptkb:Technical_Machine
|
| gptkbp:SIM |
gptkb:Technical_Machine
|
| gptkbp:studiedIn |
gptkb:logic
computer science |
| gptkbp:usedIn |
theory of computation
|
| gptkbp:bfsParent |
gptkb:Emil_Post
gptkb:Turing_completeness |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Post–Turing machine
|