You are here: TUCS > PUBLICATIONS > Publication Search > Noneffective Regularity of Equ...
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
Juhani Karhumäki, Aleksi Saarela, Noneffective Regularity of Equality Languages and Bounded Delay Morphisms. Discrete Mathematics & Theoretical Computer Science 12(4), 9-18, 2010.
Abstract:
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.
BibTeX entry:
@ARTICLE{jKaSa10a,
title = {Noneffective Regularity of Equality Languages and Bounded Delay Morphisms},
author = {Karhumäki, Juhani and Saarela, Aleksi},
journal = {Discrete Mathematics & Theoretical Computer Science},
volume = {12},
number = {4},
pages = {9-18},
year = {2010},
}
Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics