Generating functions of timed languages

Abstract : In order to study precisely the growth of timed languages, we associate to such a language a generating function. These functions (tightly related to volume and entropy of timed languages) satisfy compositionality properties and can be characterized by integral equations. We provide procedures for computation of generating functions for some classes of timed automata and regular expressions.
Type de document :
Communication dans un congrès
MFCS 2012, Aug 2012, Bratislava, Slovakia. 7464, pp.124-135, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32589-2_14>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00678443
Contributeur : Eugene Asarin <>
Soumis le : mardi 24 avril 2012 - 14:53:11
Dernière modification le : mardi 11 octobre 2016 - 13:56:01
Document(s) archivé(s) le : mercredi 25 juillet 2012 - 02:41:47

Fichier

mainLncs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin. Generating functions of timed languages. MFCS 2012, Aug 2012, Bratislava, Slovakia. 7464, pp.124-135, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32589-2_14>. <hal-00678443v2>

Partager

Métriques

Consultations de
la notice

424

Téléchargements du document

96