When are emptiness and containment decidable for probabilistic automata?
The emptiness and containment problems for probabilistic automata are natural quantitative generalisations of the classical language emptiness and inclusion problems for Boolean automata. It is known that both problems are undecidable. We provide a more refined view of these problems in terms of the...
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
Elsevier
2021
|