Noneffective Regularity of Equality Languages and Bounded Delay Morphisms - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2010

Noneffective Regularity of Equality Languages and Bounded Delay Morphisms

Juhani Karhumaki
  • Fonction : Auteur
Turku Centre for Computer Science
Aleksi Saarela
  • Fonction : Auteur
Turku Centre for Computer Science

Résumé

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.

Domaines

Mathématique discrète [cs.DM]
Fichier principal
Vignette du fichier
1451-5150-1-PB.pdf (233.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Service Ist Inria Sophia Antipolis-Méditerranée / I3s  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00990433

Soumis le : mardi 13 mai 2014-15:36:50

Dernière modification le : mardi 7 février 2023-03:42:45

Archivage à long terme le : lundi 10 avril 2017-22:14:45

Télécharger pour visualiser

Dates et versions

hal-00990433 , version 1 (13-05-2014)

Identifiants

Citer

Juhani Karhumaki, Aleksi Saarela. Noneffective Regularity of Equality Languages and Bounded Delay Morphisms. Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 4 (4), pp.9-17. ⟨10.46298/dmtcs.523⟩. ⟨hal-00990433⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TDS-MACS
45 Consultations
866 Téléchargements

Altmetric

Partager

More