Skip to search formSkip to main contentSkip to account menu

Post correspondence problem

Known as: Marked Post Correspondence Problem, PCP, Bounded PCP 
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Ambiguous grammarBoolean satisfiability problemChomsky hierarchyComputation history

Broader (2)

Computability theoryTheory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Correspondance Brancusi, Duchamp : histoire d'une amitié / [réunie et présenté par Doïna Lemny]
2014
2014
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post
In 1946 Emil Leon Post (Bulletin of Amer. Math. Soc. 52 (1946), 264 - 268) defined a famous correspondence decision problem which… 
2014
2014
Approche systémique de la résonance textuelle multilingue
Dans un bi-texte, les Trames textometriques en correspondance sont materialisees a la fois par des correspondances lexicales et… 
2013
2013
Forces et faiblesses de l’amélioration variétale d’espèces oléagineuses de diversification, l’exemple pour la France du soja, du lin et du chanvre
En Europe, un des freins a l’introduction des cultures de diversification dans les rotations est souvent lie a des performances… 
2008
2008
(Generalized) Post Correspondence Problem and semi-Thue systems
Let PCP(k) denote the Post Correspondence Problem for k input pairs of strings. Let ACCESSIBILITY(k) denote the the word problem… 
2003
2003
Decidabilityof the binaryin#nite Post Correspondence Problem
We shall show that it is decidable for binaryinstances of the Post Correspondence Problem whether the instance has an in#nite… 
2002
2002
Solving and creating difficult instances of Post's correspondence problem
Post’s correspondence problem (PCP) was invented by Emil L. Post in 1946. It is an undecidable problem, which means that it is… 
1998
1998
Fédéralisme et relations intercommunautaires chez Tocqueville : Entre prudence et negation des possibles : Repenser la communauté politique
L'A. examine de quelle maniere Alexis de Tocqueville envisage le federalisme et les relations intercommunautaires. Il rappelle… 
1998
1998
Correspondance d’Angélique Delputte. Linselles, 16 octobre 1789 — 30 avril 1790
1981
1981
Une correspondance islamo-chrétienne entre Ibn al-Munaǧǧim, Ḥunayn ibn Isḥāq et Qusṭā ibn Lūqā
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)