Probabilistic Automata on Finite words: Decidable and Undecidable Problems

Abstract : This paper tackles three algorithmic problems for probabilis- tic automata on finite words: the Emptiness Problem, the Isolation Prob- lem and the Value 1 Problem. The Emptiness Problem asks, given some probability 0 ≤ λ ≤ 1, whether there exists a word accepted with prob- ability greater than λ, and the Isolation Problem asks whether there exist words whose acceptance probability is arbitrarily close to λ. Both these problems are known to be undecidable [8, 2, 3]. About the Empti- ness problem, we provide a new simple undecidability proof and prove that it is decidable for automata with one probabilistic transition and undecidable for automata with as few as two probabilistic transitions. The Value 1 Problem is the special case of the Isolation Problem when λ = 1 or λ = 0. The decidability of the Value 1 Problem was an open question. We show that the Value 1 Problem is undecidable. Moreover, we introduce a new class of probabilistic automata, ♯-acyclic automata, for which the Value 1 Problem is decidable.
Document type :
Conference papers
ICALP 2010, Jul 2010, Bordeaux, France. pp.527-538, 2010, 〈10.1007/978-3-642-14162-1_44〉
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00456538
Contributor : Hugo Gimbert <>
Submitted on : Tuesday, April 27, 2010 - 5:38:02 PM
Last modification on : Monday, June 16, 2014 - 9:10:50 AM
Document(s) archivé(s) le : Thursday, September 23, 2010 - 6:21:35 PM

File

gimbert_oualhadj_probabilistic...
Files produced by the author(s)

Identifiers

Collections

Citation

Hugo Gimbert, Youssouf Oualhadj. Probabilistic Automata on Finite words: Decidable and Undecidable Problems. ICALP 2010, Jul 2010, Bordeaux, France. pp.527-538, 2010, 〈10.1007/978-3-642-14162-1_44〉. 〈hal-00456538v3〉

Share

Metrics

Record views

505

Document downloads

434