Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00678443
Contributor : Eugene Asarin Connect in order to contact the contributor
Submitted on : Tuesday, April 24, 2012 - 2:53:11 PM
Last modification on : Saturday, January 15, 2022 - 3:58:57 AM
Long-term archiving on: : Wednesday, July 25, 2012 - 2:41:47 AM

File

mainLncs.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

298

Files downloads

320