Post correspondence problem

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:field theoretical computer science
gptkbp:generalizes gptkb:generalized_Post_correspondence_problem
gptkbp:hasReductionFrom halting problem
gptkbp:hasSolutionIf there exists a sequence of dominoes such that the concatenation of the top strings equals the concatenation of the bottom strings
gptkbp:hasVariant gptkb:bounded_Post_correspondence_problem
https://www.w3.org/2000/01/rdf-schema#label Post correspondence problem
gptkbp:input finite set of dominoes
gptkbp:introduced gptkb:Emil_Post
gptkbp:introducedIn 1946
gptkbp:isNPComplete false
gptkbp:isRecursivelyEnumerable true
gptkbp:isTuringComplete true
gptkbp:isUndecidable true
gptkbp:output yes/no
gptkbp:reduces undecidable problems
gptkbp:relatedTo computability theory
formal languages
halting problem
gptkbp:type word problem
gptkbp:usedIn proving undecidability
gptkbp:bfsParent gptkb:Emil_Post
gptkbp:bfsLayer 5