-Continuous Kleene ω-Algebras

Zoltán Esik 1 Uli Fahrenberg 2 Axel Legay 2
1 Institute of Informatics
Institute of Informatics
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01237648
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 3 décembre 2015 - 15:32:34
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : samedi 29 avril 2017 - 05:40:01

Fichier

main-dltfinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01237648, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

162

Téléchargements de fichiers

68