Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Fuzzy Deterministic Top-down Tree Automata   In this paper we introduce and study fuzzy deterministic top-down (DT) tree
automata over a lattice L. The L-fuzzy tree languages recognized by these
automata are said to be DT-recognizable, and they form a proper subfamily
$DRec_L$ of the family of $Rec_L$ of all regular L-fuzzy tree languages. We
prove a Pumping Lemma for $DRec_L$ from which several decidability results
follow. The closure properties of $DRec_L$ under various operations are
established. We also characterize DT-recognizability in terms of L-fuzzy path
languages, and prove that the path closure of any regular L-fuzzy tree language
is DT-recognizable, and that it is decidable whether a regular L-fuzzy tree
language is DT-recognizable. In most of the paper, L is just any nontrivial
bounded lattice, but sometimes it is assumed to be distributive or even a
bounded chain.

6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th