The Conjugate Post Correspondence Problem

11/08/2021

∙

We introduce a modification to the Post Correspondence Problem where (in the formulation using morphisms) we require the images to be conjugate words. This problem is then shown to be undecidable by reducing it to the word problem for a special type of semi-Thue systems.

READ FULL TEXT

The Conjugate Post Correspondence Problem

The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Variations on the Post Correspondence Problem for free groups

Baba is You is Undecidable

Post's correspondence problem for hyperbolic and virtually nilpotent groups

Extraction of Coronary Vessels in Fluoroscopic X-Ray Sequences Using Vessel Correspondence Optimization

Formalizing the Curry-Howard Correspondence

Word2Vec is a special case of Kernel Correspondence Analysis and Kernels for Natural Language Processing

The Conjugate Post Correspondence Problem

Related Research

The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Variations on the Post Correspondence Problem for free groups

Baba is You is Undecidable

Post's correspondence problem for hyperbolic and virtually nilpotent groups

Extraction of Coronary Vessels in Fluoroscopic X-Ray Sequences Using Vessel Correspondence Optimization

Formalizing the Curry-Howard Correspondence

Word2Vec is a special case of Kernel Correspondence Analysis and Kernels for Natural Language Processing