On Classes of Regular Languages Related to Monotone WQOs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

On Classes of Regular Languages Related to Monotone WQOs

Résumé

We study relationships of monotone well quasiorders to regular languages and $$\omega $$-languages, concentrating on decidability of the lattices of upper sets on words and infinite words. We establish rather general sufficient conditions for decidability. Applying these conditions to concrete natural monotone WQOs, we obtain new decidability results and new proofs of some known results.
Fichier principal
Vignette du fichier
480958_1_En_18_Chapter.pdf (307.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387304 , version 1 (29-11-2019)

Licence

Paternité

Identifiants

Citer

Mizuhito Ogawa, Victor Selivanov. On Classes of Regular Languages Related to Monotone WQOs. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.235-247, ⟨10.1007/978-3-030-23247-4_18⟩. ⟨hal-02387304⟩
55 Consultations
26 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More