-Continuous Kleene ω-Algebras - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

-Continuous Kleene ω-Algebras

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01237648 , version 1

Citer

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⟩
192 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More