The Missing Link for omega-Rational Sets, Automata, and Semigroups
Détails
ID Serval
serval:BIB_E6A5A5E48884
Type
Article: article d'un périodique ou d'un magazine.
Collection
Publications
Institution
Titre
The Missing Link for omega-Rational Sets, Automata, and Semigroups
Périodique
International Journal of Algebra and Computation
ISSN
0218-1967
Statut éditorial
Publié
Date de publication
2006
Peer-reviewed
Oui
Volume
16
Numéro
1
Pages
161-185
Langue
anglais
Résumé
In 1997, following the works of Klaus W. Wagner on omega-regular sets, Olivier Carton and Dominique Perrin introduced the notions of Chains and Superchains for omega-semigroups. There is a clear correspondance between the algebraic representation of each of these operations and the automata-theoretical one. Unfortunately, chains and superchains do not suffice to describe the whole Wagner hierarchy. We introduce a third notion which completes the task undertaken in Carton O., Perrin D.: "Chains and superchains for omega-rational sets, automata and semigroups" (Int. J. Alg. Comput., vol. 7, no. 7, pp. 673-695, 1997).
Mots-clé
Omega-rational sets, Automata, Omega-semigroups, Wagner hierarchy
Web of science
Création de la notice
19/11/2007 10:52
Dernière modification de la notice
20/08/2019 16:09