Where academic tradition
meets the exciting future

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

Edit publication