-Continuous Kleene ω-Algebras - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

-Continuous Kleene ω-Algebras


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.
Fichier principal
Vignette du fichier
main-dltfinal.pdf (336.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01237648 , version 1 (03-12-2015)


  • HAL Id : hal-01237648 , version 1


Zoltán Esik, Uli Fahrenberg, Axel Legay. -Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. pp.240-251. ⟨hal-01237648⟩
190 View
70 Download


Gmail Facebook X LinkedIn More