Decision Questions for Probabilistic Automata on Small Alphabets
-
Published:2023-12-21
Issue:
Volume:Volume 19, Issue 4
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Bell Paul C.,Semukhin Pavel
Abstract
We study the emptiness and $\lambda$-reachability problems for unary and
binary Probabilistic Finite Automata (PFA) and characterise the complexity of
these problems in terms of the degree of ambiguity of the automaton and the
size of its alphabet. Our main result is that emptiness and
$\lambda$-reachability are solvable in EXPTIME for polynomially ambiguous unary
PFA and if, in addition, the transition matrix is binary, we show they are in
NP. In contrast to the Skolem-hardness of the $\lambda$-reachability and
emptiness problems for exponentially ambiguous unary PFA, we show that these
problems are NP-hard even for finitely ambiguous unary PFA. For binary
polynomially ambiguous PFA with fixed and commuting transition matrices, we
prove NP-hardness of the $\lambda$-reachability (dimension 9), nonstrict
emptiness (dimension 37) and strict emptiness (dimension 40) problems.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science