Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Equivalence and Uniformisation Problems for Finite Transducers   Transductions are binary relations of finite words. For rational
transductions, i.e., transductions defined by finite transducers, the
inclusion, equivalence and sequential uniformisation problems are known to be
undecidable. In this paper, we investigate stronger variants of inclusion,
equivalence and sequential uniformisation, based on a general notion of
transducer resynchronisation, and show their decidability. We also investigate
the classes of finite-valued rational transductions and deterministic rational
transductions, which are known to have a decidable equivalence problem. We show
that sequential uniformisation is also decidable for them.

25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat