 |
 |
|
|
| HAL: hal-00369812, version 3 |
| Detailed view |  Export this paper |
 |
| Available versions: | v1 (2009-03-22) | v2 (2009-06-23) | v3 (2009-07-09) |
|
|
|
|
| Volume and entropy of regular timed languages |
|
|
Eugene Asarin 1Aldric Degorre 2 |
|
|
| (2009-03-21) |
|
|
|
| For timed languages, we define measures of their size: volume for a fixed finite number of events, and entropy (growth rate) as asymptotic measure for an unbounded number of events. These measures can be used for comparison of languages, and the entropy can be viewed as information contents of a timed language. In case of languages of deterministic timed automata, we give exact formulas for volumes. Next we characterize the entropy, using methods of functional analysis, as a logarithm of the leading eigenvalue (spectral radius) of a positive integral operator. We devise several methods to compute the entropy: a symbolical one for so-called “1,5 -clock” automata, and two numerical ones: one using techniques of functional analysis, another based on discretization. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2: | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Computation and Language Computer Science/Information Theory and Coding Mathematics/Information Theory |
|
|
| timed automata – formal language – entropy – growth rate – Kolmogorov complexity |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00369812, version 3 | |
| http://hal.archives-ouvertes.fr/hal-00369812 | |
| oai:hal.archives-ouvertes.fr:hal-00369812 | |
| From: Eugene Asarin | |
| Submitted on: Thursday, 9 July 2009 13:52:41 | |
| Updated on: Thursday, 9 July 2009 13:57:29 | |
