Post–Turing machine

GPTKB entity

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