Abstract : We define and study basic properties of *-continuous Kleene ω-algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite product operation that is also *-continuous. We show that *-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs, and that for Büchi automata over *-continuous Kleene ω-algebras, one can compute the associated infinitary power series.
Type de document :
Communication dans un congrès
Developments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. 9168, pp.240-251, 2015, Lecture Notes in Computer Science
https://hal.inria.fr/hal-01237648
Contributeur : Uli Fahrenberg
<>
Soumis le : jeudi 3 décembre 2015 - 15:32:34
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : samedi 29 avril 2017 - 05:40:01
Zoltán Esik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. 9168, pp.240-251, 2015, Lecture Notes in Computer Science. 〈hal-01237648〉
