Titlebook: CONCUR 2009 - Concurrency Theory; 20th International C Mario Bravetti,Gianluigi Zavattaro Conference proceedings 2009 Springer-Verlag Berli

松软

Deriving Syntax and Axioms for Quantitative Regular Behaviours, and includes many other systems such as Mealy and Moore machines..In the present paper, we extend this framework to deal with quantitative systems. As a consequence, our results now include languages and axiomatizations, both existing and new ones, for many different kinds of probabilistic systems.

旧石器时代

性冷淡

Power of Randomization in Automata on Infinite Stringses that are not regular, topologically the languages are as simple as .-regular languages. Finally, we introduce Hierarchical PBAs, which are syntactically restricted forms of PBAs that are tractable and capture exactly the class of .-regular languages.

Etching

Brain-Imaging

Volume and Entropy of Regular Timed Languages: Discretization Approach a large class of timed languages accepted by non-Zeno timed automata, we devise a method to approximate the volumes and the entropy based on discretization. We give an information-theoretic interpretation of the entropy in terms of Kolmogorov complexity.

cylinder

AMOR

琐事

Commodious

传授知识