Fiche du document
2016
- handle: 10670/1.zo1lg1
- Bélair, Luc; Gélinas, Maxime et Point, Françoise (2016). « Ensembles reconnaissables de séries formelles sur un corps fini ». Comptes rendus de l'Académie des Sciences de Paris, Série I, t. 354, p 225-p 229.
Ce document est lié à :
http://archipel.uqam.ca/11579/
Mots-clés
Logique automates théorie des modèles.Sujets proches
Corps (anatomie) Parties du corps Écriture alphasyllabaire Écriture alphabétique Lettres de l'alphabet Alphabet latin Lettres alphabétiques Lettres (alphabet) Caractères de l'alphabet Caractères latins Écriture semi-alphabétique Alphabets (écriture) Écriture latine Caractères alphabétiquesCiter ce document
Luc Bélair et al., « Ensembles reconnaissables de séries formelles sur un corps fini », UQAM Archipel : articles scientifiques, ID : 10670/1.zo1lg1
Métriques
Partage / Export
Résumé
Soit l'alphabet donné par un corps fini F, nous montrons que les langages oméga-reconnaissables de mots infinis correspondent exactement aux ensembles définissables dans le groupe additif des séries formelles sur F muni de prédicats naturels. En particulier, on obtient la décidabilité par automate. / ABSTRACT. RECOGNIZABLE SETS OF POWER SERIES OVER FINITE FIELDS. Given the alphabet yilded by a finite field F, we show that infinite words languages which are omega-recognizable correspond exactly to sets definable in the additive group of power series over F together with some natural predicates. In particular, we obtain decidability by automata.