Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Undecidable Properties of Limit Set Dynamics of Cellular Automata   Cellular Automata (CA) are discrete dynamical systems and an abstract model
of parallel computation. The limit set of a cellular automaton is its maximal
topological attractor. A well know result, due to Kari, says that all
nontrivial properties of limit sets are undecidable. In this paper we consider
properties of limit set dynamics, i.e. properties of the dynamics of Cellular
Automata restricted to their limit sets. There can be no equivalent of Kari's
Theorem for limit set dynamics. Anyway we show that there is a large class of
undecidable properties of limit set dynamics, namely all properties of limit
set dynamics which imply stability or the existence of a unique subshift
attractor. As a consequence we have that it is undecidable whether the cellular
automaton map restricted to the limit set is the identity, closing, injective,
expansive, positively expansive, transitive.

29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
1
The categories of this paper are: cs
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph