3 research outputs found
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
We give an instance of a class of morphisms for which it is easy to prove that their equality set is regular, but its emptiness is still undecidable. The class is that of bounded delay 2 morphisms
Post's correspondence problem for hyperbolic and virtually nilpotent groups
Post's Correspondence Problem (the PCP) is a classical decision problem in
theoretical computer science that asks whether for pairs of free monoid
morphisms there exists any non-trivial
such that .
Post's Correspondence Problem for a group takes pairs of group
homomorphisms instead, and similarly asks
whether there exists an such that holds for non-elementary
reasons. The restrictions imposed on in order to get non-elementary
solutions lead to several interpretations of the problem; we consider the
natural restriction asking that and prove that
the resulting interpretation of the PCP is undecidable for arbitrary hyperbolic
, but decidable when is virtually nilpotent. We also study
this problem for group constructions such as subgroups, direct products and
finite extensions. This problem is equivalent to an interpretation due to
Myasnikov, Nikolev and Ushakov when one map is injective.Comment: 17 page
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to ApplicationsWe give an instance of a class of morphisms for which it is easy to prove that their equality set is regular, but its emptiness is still undecidable. The class is that of bounded delay 2 morphisms