Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Noneffective Regular ...
Article

Noneffective Regularity of Equality Languages and Bounded Delay Morphisms

Juhani Karhumaki (1), Aleksi Saarela ORCID (1)
(1) Turku Centre for Computer Science
Download article
Open on HAL
Imported on
March 26, 2015
Published on
January 1, 2010
Last modified on
March 31, 2025
Volume 12
vol. 12:4, Special Issue dedicated to the second edition of the conference AutoMathA: from Mathematics to Applications
DOI
10.46298/dmtcs.523
License
https://about.hal.science/hal-authorisation-v1
Indicators
713
Views
640
Downloads

Noneffective Regularity of Equality Languages and Bounded Delay Morphisms

Juhani Karhumaki (1), Aleksi Saarela ORCID (1)
(1) Turku Centre for Computer Science
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.
Keywords
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • regularity
  • bounded delay
  • Post correspondence problem
Cited by

Source: OpenCitations

  • Reachability via Cooperating Morphisms

    Electronic Notes in Theoretical Computer Science

    Authors : Juhani Karhumäki

    Journal reference : Volume 223, 2008, pp. 15-27

    DOI : 10.1016/j.entcs.2008.12.028
Preview
Loading PDF preview...