Post correspondence problem
Sign in to saveAlso known as Post's correspondence problem
undecidable decision problem
Wikidata facts
Show 1 more fact
- time of discovery or invention
- 1946-00-00
Sources (2)
via Wikidata · CC0
Connections
International Standard Book Number
Entity
digital object identifier
Entity
sequence
Entity
Turing machine
Entity
regular expression
Entity
Q118398
Entity
monoid
Entity
finite-state machine
Entity
Chomsky hierarchy
Entity
Q22908627
Entity
halting problem
Entity
group homomorphism
Entity
NP-complete
Entity
nilpotent element
Entity
decision problem
Entity
Handle System
Entity
Emil Leon Post
Entity
boolean satisfiability problem
Entity
regular language
Entity
conjugacy class
Entity