Ensembles reconnaissables de séries formelles sur un corps fini - 24/02/16
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
| pages | 5 |
| Iconographies | 0 |
| Vidéos | 0 |
| Autres | 0 |
Résumé |
Soit l'alphabet donné par un corps fini 
, nous montrons que les langages ω-reconnaissables de mots infinis correspondent exactement aux ensembles définissables dans le groupe additif des séries formelles sur muni de prédicats naturels. En particulier, on obtient la décidabilité par automate.
Abstract |
Given the alphabet yielded by a finite field , we show that infinite words languages that are ω-recognizable correspond exactly to sets definable in the additive group of power series over together with some natural predicates. In particular, we obtain decidability by automata.
Plan
Vol 354 - N° 3
P. 225-229 - mars 2016 Retour au numéro
Article précédent
- Editorial Board
- Note on some restricted Stirling numbers of the second kind
- Mohammed Said Maamra, Miloud Mihoubi
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?