Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial
  Idempotent Languages   We study the recognition of R-trivial idempotent (R1) languages by various
models of "decide-and-halt" quantum finite automata (QFA) and probabilistic
reversible automata (DH-PRA). We introduce bistochastic QFA (MM-BQFA), a model
which generalizes both Nayak's enhanced QFA and DH-PRA. We apply tools from
algebraic automata theory and systems of linear inequalities to give a complete
characterization of R1 languages recognized by all these models. We also find
that "forbidden constructions" known so far do not include all of the languages
that cannot be recognized by measure-many QFA.

3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int