A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
Tekijät: Juhani Karhumäki, Aleksi Saarela
Kustantaja: DISCRETE MATHEMATICS THEORETICAL COMPUTER SCIENCE
Julkaisuvuosi: 2010
Journal: Discrete Mathematics and Theoretical Computer Science
Tietokannassa oleva lehden nimi: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
Lehden akronyymi: DISCRETE MATH THEOR
Numero sarjassa: 4
Vuosikerta: 12
Numero: 4
Aloitussivu: 9
Lopetussivu: 17
Sivujen määrä: 9
ISSN: 1462-7264
Verkko-osoite: http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1451
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.
Ladattava julkaisu This is an electronic reprint of the original article. |