Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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 (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.

9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an