218 research outputs found
Polynomially Ambiguous Probabilistic Automata on Restricted Languages
We consider the computability and complexity of decision questions for Probabilistic Finite Automata (PFA) with sub-exponential ambiguity. We show that the emptiness problem for non-strict cut-points of polynomially ambiguous PFA remains undecidable even when the input word is over a bounded language and all PFA transition matrices are commutative. In doing so, we introduce a new technique based upon the Turakainen construction of a PFA from a Weighted Finite Automata which can be used to generate PFA of lower dimensions and of subexponential ambiguity. We also study freeness/injectivity problems for polynomially ambiguous PFA and study the border of decidability and tractability for various cases
Polynomially Ambiguous Probabilistic Automata on Restricted Languages
We consider the computability and complexity of decision questions for Probabilistic Finite Automata (PFA) with sub-exponential ambiguity. We show that the emptiness problem for non-strict cut-points of polynomially ambiguous PFA remains undecidable even when the input word is over a bounded language and all PFA transition matrices are commutative. In doing so, we introduce a new technique based upon the Turakainen construction of a PFA from a Weighted Finite Automata which can be used to generate PFA of lower dimensions and of subexponential ambiguity. We also study freeness/injectivity problems for polynomially ambiguous PFA and study the border of decidability and tractability for various cases
On finitely ambiguous B\"uchi automata
Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one
accepting run per word, are a useful restriction of B\"uchi automata that is
well-suited for probabilistic model-checking. In this paper we propose a more
permissive variant, namely finitely ambiguous B\"uchi automata, a
generalisation where each word has at most accepting runs, for some fixed
. We adapt existing notions and results concerning finite and bounded
ambiguity of finite automata to the setting of -languages and present a
translation from arbitrary nondeterministic B\"uchi automata with states to
finitely ambiguous automata with at most states and at most accepting
runs per word
Ambiguity, Weakness, and Regularity in Probabilistic B\"uchi Automata
Probabilistic B\"uchi automata are a natural generalization of PFA to
infinite words, but have been studied in-depth only rather recently and many
interesting questions are still open. PBA are known to accept, in general, a
class of languages that goes beyond the regular languages. In this work we
extend the known classes of restricted PBA which are still regular, strongly
relying on notions concerning ambiguity in classical omega-automata.
Furthermore, we investigate the expressivity of the not yet considered but
natural class of weak PBA, and we also show that the regularity problem for
weak PBA is undecidable
A Robust Class of Linear Recurrence Sequences
We introduce a subclass of linear recurrence sequences which we call poly-rational sequences because they are denoted by rational expressions closed under sum and product. We show that this class is robust by giving several characterisations: polynomially ambiguous weighted automata, copyless cost-register automata, rational formal series, and linear recurrence sequences whose eigenvalues are roots of rational numbers
Decision Questions for Probabilistic Automata on Small Alphabets
We study the emptiness and -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
-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 -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 -reachability (dimension 9), nonstrict
emptiness (dimension 37) and strict emptiness (dimension 40) problems.Comment: Updated journal pre-prin
Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs
We show the surprising result that the cutpoint isolation problem is decidable for probabilistic finite automata where input words are taken from a letter-bounded context-free language. A context-free language ? is letter-bounded when ? ? a?^* a?^* ? a_?^* for some finite ? > 0 where each letter is distinct. A cutpoint is isolated when it cannot be approached arbitrarily closely. The decidability of this problem is in marked contrast to the situation for the (strict) emptiness problem for PFA which is undecidable under the even more severe restrictions of PFA with polynomial ambiguity, commutative matrices and input over a letter-bounded language as well as to the injectivity problem which is undecidable for PFA over letter-bounded languages. We provide a constructive nondeterministic algorithm to solve the cutpoint isolation problem, which holds even when the PFA is exponentially ambiguous. We also show that the problem is at least NP-hard and use our decision procedure to solve several related problems
Recommended from our members
Containment and equivalence of weighted automata: Probabilistic and max-plus cases
This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain
Decision Questions for Probabilistic Automata on Small Alphabets
We study the emptiness and ?-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 ?-reachability are solvable in EXPTIME for polynomially ambiguous unary PFA and if, in addition, the transition matrix is over {0, 1}, we show they are in NP. In contrast to the Skolem-hardness of the ?-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 commuting transition matrices, we prove NP-hardness of the ?-reachability (dimension 9), nonstrict emptiness (dimension 37) and strict emptiness (dimension 40) problems
- …