Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Partitioning a Symmetric Rational Relation into Two Asymmetric Rational
  Relations   We consider the problem of partitioning effectively a given symmetric (and
irreflexive) rational relation R into two asymmetric rational relations. This
problem is motivated by a recent method of embedding an R-independent language
into one that is maximal R-independent, where the method requires to use an
asymmetric partition of R. We solve the problem when R is realized by a
zero-avoiding transducer (with some bound k): if the absolute value of the
input-output length discrepancy of a computation exceeds k then the length
discrepancy of the computation cannot become zero. This class of relations
properly contains all recognizable, all left synchronous, and all right
synchronous relations. We leave the asymmetric partition problem open when R is
not realized by a zero-avoiding transducer. We also show examples of total
wordorderings for which there is a relation R that cannot be partitioned into
two asymmetric rational relations such that one of them is decreasing with
respect to the given word-ordering.

32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex