Pushing undecidability of the isolation problem for probabilistic automata
Formal Languages and Automata Theory
2011-04-18 v1
Abstract
This short note aims at proving that the isolation problem is undecidable for probabilistic automata with only one probabilistic transition. This problem is known to be undecidable for general probabilistic automata, without restriction on the number of probabilistic transitions. In this note, we develop a simulation technique that allows to simulate any probabilistic automaton with one having only one probabilistic transition.
Keywords
Cite
@article{arxiv.1104.3054,
title = {Pushing undecidability of the isolation problem for probabilistic automata},
author = {Nathanaël Fijalkow and Hugo Gimbert and Youssouf Oualhadj},
journal= {arXiv preprint arXiv:1104.3054},
year = {2011}
}