Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
Juhani Karhumäki; Aleksi Saarela
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
Juhani Karhumäki
Aleksi Saarela
DISCRETE MATHEMATICS THEORETICAL COMPUTER SCIENCE
Julkaisun pysyvä osoite on:
https://urn.fi/URN:NBN:fi-fe2021042714452
https://urn.fi/URN:NBN:fi-fe2021042714452
Tiivistelmä
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.
Kokoelmat
- Rinnakkaistallenteet [19207]