Abstract:We show the surprising result that the cutpoint isolation problem is decidable for Probabilistic Finite Automata (PFA) where input words are taken from a letter-bounded context-free language. A context-free language $\mathcal{L}$ is letter-bounded when $\mathcal{L} \subseteq a_1^*a_2^* \cdots a_\ell^*$ for some finite $\ell > 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.

Polynomially ambiguous probabilistic automata on restricted languages

Decision Questions for Probabilistic Automata on Small Alphabets

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata

Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata

Probabilistic automatic complexity of finite strings

Decision problems on unary probabilistic and quantum automata

Unary probabilistic and quantum automata on promise problems

Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

Probabilistic Finite Automaton Emptiness is undecidable

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata

On the expressiveness of Parikh automata and related models

Unknown Biases and Timing Constraints in Timed Automata

Choiceless Polynomial Space

Power of Randomization in Automata on Infinite Strings

Blow-up in Non-Deterministic Automata

On Pebble Automata for Data Languages with Decidable Emptiness Problem

Ambiguous Probabilistic Programs

All about unambiguous polynomial closure

Deterministic pushdown automata and unary languages