
arXiv: 2310.01941
Timed languages contain sequences of discrete events ("letters'') separated by real-valued delays, they can be recognized by timed automata, and represent behaviors of various real-time systems. The notion of bandwidth of a timed language defined in a previous paper characterizes the amount of information per time unit, encoded in words of the language observed with some precision ε. In this paper, we identify three classes of timed automata according to the asymptotics of the bandwidth of their languages with respect to this precision ε: automata are either meager, with an O(1) bandwidth, normal, with a Θ(log (1/ε)) bandwidth, or obese, with Θ(1/ε) bandwidth. We define two structural criteria and prove that they partition timed automata into these three classes of bandwidth, implying that there are no intermediate asymptotic classes. The classification problem of a timed automaton is PSPACE-complete. Both criteria are formulated using morphisms from paths of the timed automaton to some finite monoids extending Puri's orbit graphs; the proofs are based on Simon's factorization forest theorem.
bandwidth, FOS: Computer and information sciences, orbit graphs, Formal Languages and Automata Theory (cs.FL), factorization forests, Computer Science - Information Theory, Information Theory (cs.IT), E.4, Theory of computation → Timed and hybrid models, Computer Science - Formal Languages and Automata Theory, [INFO] Computer Science [cs], 004, 68Q70, 68Q45, 68P30, timed automata, F.4.3, Theory of computation → Quantitative automata, entropy, F.1.1, F.4.3; E.4; F.1.1, information theory, ddc: ddc:004
bandwidth, FOS: Computer and information sciences, orbit graphs, Formal Languages and Automata Theory (cs.FL), factorization forests, Computer Science - Information Theory, Information Theory (cs.IT), E.4, Theory of computation → Timed and hybrid models, Computer Science - Formal Languages and Automata Theory, [INFO] Computer Science [cs], 004, 68Q70, 68Q45, 68P30, timed automata, F.4.3, Theory of computation → Quantitative automata, entropy, F.1.1, F.4.3; E.4; F.1.1, information theory, ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
