Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata over distributive
  lattices   We give a new version of fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata
over distributive lattices: weights are putting in every leaf node of run trees
rather than along with edges from every node to its children. Such settings are
great benefit to obtain complement just by taking dual operation and replacing
each final weight with its complement. We prove that $L$-fuzzy nondeterministic
$\mathrm{B\ddot{u}chi}$ automata have the same expressive power as $L$-fuzzy
alternating $\mathrm{B\ddot{u}chi}$ ones. A direct construction (without
related knowledge about $L$-fuzzy nondeterministic $\mathrm{B\ddot{u}chi}$ ones
such as: above equivalence relation and their closure properties) is given to
show that the languages recognized by $L$-fuzzy alternating
co-$\mathrm{B\ddot{u}chi}$ automata are also $L$-fuzzy $\omega$-regular.
Furthermore, the closure properties and the discussion about decision problems
for fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata are illustrated in our
paper.

33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol