• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Noneffective Regularity of Equality Languages and Bounded Delay Morphisms

Juhani Karhumäki, Aleksi Saarela, Noneffective Regularity of Equality Languages and Bounded Delay Morphisms. In: Proceedings of the conference AutoMathA 2009, 2009.

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:

@INPROCEEDINGS{inpKaSa09a,
  title = {Noneffective Regularity of Equality Languages and Bounded Delay Morphisms},
  booktitle = {Proceedings of the conference AutoMathA 2009},
  author = {Karhumäki, Juhani and Saarela, Aleksi},
  year = {2009},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Edit publication