Statements (29)
Predicate | Object |
---|---|
gptkbp:instanceOf |
theoretical computer science
abstract machine |
gptkbp:alsoKnownAs |
gptkb:Post_machine
|
gptkbp:describedBy |
gptkb:Journal_of_Symbolic_Logic
|
gptkbp:equivalentTo |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Post–Turing machine
|
gptkbp:includesState |
finite state
|
gptkbp:introducedIn |
1947
|
gptkbp:inventedBy |
gptkb:Emil_Post
|
gptkbp:operates |
infinite tape
|
gptkbp:relatedTo |
Technical Machine
|
gptkbp:SIM |
Technical Machine
|
gptkbp:studiedIn |
gptkb:logic
computer science |
gptkbp:usedIn |
theory of computation
|
gptkbp:bfsParent |
gptkb:Emil_Post
gptkb:Post_machine gptkb:Turing_completeness |
gptkbp:bfsLayer |
5
|