Communication Dans Un Congrès Année : 2024

Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals

Résumé

Automata have been defined to recognize languages of words indexed by linear orderings, which generalize the usual notions of finite, infinite, and ordinal words. The reachability problem for these automata has already been solved for scattered linear orderings. In this paper, we design an analogous procedure that solves reachability over the specific domains R and Q. Given an automaton on linear orderings, this procedure decides in polynomial time whether this automaton accepts at least one word indexed by R or by Q. We claim that this algorithm constitutes an essential step to designing effective decision procedures for the first-order monadic theory of order interpreted over R or Q.
Fichier principal
Vignette du fichier
CameraReadyVersion.pdf (367.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04896026 , version 1 (19-01-2025)

Licence

Identifiants

Citer

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain. Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals. CIAA 2024 - 28th International Conference on Implementation and Application of Automata, Sep 2024, Akita, Japan. pp.94-108, ⟨10.1007/978-3-031-71112-1_7⟩. ⟨hal-04896026⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More