From Ultrafilters on Words to the Expressive Power of a Fragment of Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

From Ultrafilters on Words to the Expressive Power of a Fragment of Logic

Résumé

We give a method for specifying ultrafilter equations and identify their projections on the set of profinite words. Let B be the set of languages captured by first-order sentences using unary predicates for each letter, arbitrary uniform unary numerical predicates and a predicate for the length of a word. We illustrate our methods by giving profinite equations characterizing B ∩ Reg via ultrafilter equations satisfied by B. This suffices to establish the decidability of the membership problem for B ∩ Reg.
Nous donnons une méthode pour spécifier des équations en ultrafiltres et identifier leurs projections sur l'ensemble des mots profinis. Soit B l'ensemble des langages décrits par des énoncés du premier ordre utilisant des prédicats unaires pour chaque lettre, des prédicats numériques uniformes unaires arbitraires et un prédicat pour la longueur d'un mot. Nous illustrons notre méthode en donnant des équations profinies caractérisant B ∩ Reg à partir d'équations en ultrafiltres satisfaites par B. Cela suffit à établir la décidabilité de l'appartenance à B ∩ Reg.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
DCFS2014.pdf (185.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01247632 , version 1 (22-12-2015)

Identifiants

Citer

Mai Gehrke, Andreas Krebs, Jean-Eric Pin. From Ultrafilters on Words to the Expressive Power of a Fragment of Logic. Descriptional Complexity of Formal Systems 2014, Department of Mathematics and Statistics, University of Turku, Aug 2014, Turku, Finland. pp.138-149, ⟨10.1007/978-3-319-09704-6_13⟩. ⟨hal-01247632⟩
27 Consultations
123 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More