Skip to Main content Skip to Navigation
Conference papers

On Classes of Regular Languages Related to Monotone WQOs

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-02387304
Contributor : Hal Ifip <>
Submitted on : Friday, November 29, 2019 - 4:36:28 PM
Last modification on : Tuesday, January 14, 2020 - 10:48:09 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

78