A Probabilistic Kleene Theorem
作者： Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun
DOI: 10.1007/978-3-642-33386-6_31
关键词: Probabilistic CTL 、 Quantum finite automata 、 Probabilistic automaton 、 Probabilistic argumentation 、 Probabilistic logic 、 Automata theory 、 Probabilistic analysis of algorithms 、 Mathematics 、 Discrete mathematics 、 Nested word
摘要: We provide a Kleene Theorem for (Rabin) probabilistic automata over finite words. Probabilistic generalize deterministic and assign to word an acceptance probability. expressions with choice, guarded concatenation, star operator. prove that are expressively equivalent. Our result actually extends two-way pebbles corresponding expressions.
springer.com
core.ac.uk
archives-ouvertes.fr
acm.org 
sci-hub.st 参考文章(39)
Holger Hermanns, Christel Baier, Concur 2006 - Concurrency Theory ,(2008)
Thomas Weidner, Probabilistic automata and probabilistic logic mathematical foundations of computer science. pp. 813- 824 ,(2012) , 10.1007/978-3-642-32589-2_70
Azaria Paz, Introduction to probabilistic automata (Computer science and applied mathematics) Academic Press, Inc.. ,(1971)
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking (Representation and Mind Series) The MIT Press. ,(2008)
Mikołaj Bojańczyk, Tree-Walking Automata language and automata theory and applications. pp. 1- 2 ,(2008) , 10.1007/978-3-540-88282-4_1
Jean Berstel, Christophe Reutenauer, Noncommutative Rational Series with Applications Cambridge University Press. ,vol. 137, ,(2010) , 10.1017/CBO9780511760860
Christel Baier, Nathalie Bertrand, Marcus Größer, On decision problems for probabilistic Büchi automata foundations of software science and computation structure. pp. 287- 301 ,(2008) , 10.1007/978-3-540-78499-9_21
Maxime Crochemore, Costas Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Waleń, On the Maximal Number of Cubic Runs in a String Language and Automata Theory and Applications. ,vol. 6031, pp. 227- 238 ,(2010) , 10.1007/978-3-642-13089-2_19
Joost-Pieter Katoen, Christel Baier, Principles of Model Checking ,(2008)
Yuxin Deng, Catuscia Palamidessi, Jun Pang, Compositional Reasoning for Probabilistic Finite-State Behaviors Processes, Terms and Cycles: Steps on the Road to Infinity. ,vol. 3838, pp. 309- 337 ,(2005) , 10.1007/11601548_17