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]
2013
2013
On the Dual Post Correspondence Problem
The Dual Post Correspondence Problem asks whether, for a given word α, there exists a pair of distinct morphisms σ,τ, one of… 
2005
2005
A decidable class of problems for control under partial observation
2005
2005
Les services des centres jeunesse offerts aux adolescents ayant des troubles de comportement I Associations avec les difficultés des jeunes et des familles
La frequence des troubles de comportement chez les adolescents, leur stabilite relative, de meme que la recurrence de l… 
2002
2002
Infinite Solutions of Marked Post Correspondence Problem
In an instance of the Post Correspondence Problem we are given two morphisms h, g: A* → B*. Here we prove that if the morphisms… 
2000
2000
Decidable first-order transition logics for PA-processes
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… 
1995
1995
Post Correspondence Problem: Words Possible as Primitive Solutions
Three types of “primitive” or “prime” solutions for PCP have earlier been investigated. The sets of words belonging to one of the… 
1981
1981
Une correspondance islamo-chrétienne entre Ibn al-Munaǧǧim, Ḥunayn ibn Isḥāq et Qusṭā ibn Lūqā
1968
1968
The post correspondence problem
The correspondence decision problem was first formulated and shown to be recursively unsolvable in Post (1946). The method of… 
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)