Generating functions of timed languages - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2012

Generating functions of timed languages

Résumé

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.
Fichier principal
Vignette du fichier
genTimed.pdf (208.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00678443 , version 1 (12-03-2012)
hal-00678443 , version 2 (24-04-2012)

Identifiants

  • HAL Id : hal-00678443 , version 1

Citer

Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin. Generating functions of timed languages. 2012. ⟨hal-00678443v1⟩
337 Consultations
365 Téléchargements

Partager

Gmail Facebook X LinkedIn More