Generating functions of timed languages - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

Dates and versions

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

Identifiers

Cite

Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin. Generating functions of timed languages. MFCS 2012, Aug 2012, Bratislava, Slovakia. pp.124-135, ⟨10.1007/978-3-642-32589-2_14⟩. ⟨hal-00678443v2⟩
329 View
350 Download

Altmetric

Share

Gmail Facebook X LinkedIn More