Cellular automata, ωω-regular sets, and sofic systems
نویسندگان
چکیده
منابع مشابه
Injective Linear Cellular Automata and Sofic Groups
Let V be a finite-dimensional vector space over a field K and let G be a sofic group. We show that every injective linear cellular automaton τ : V G → V G is surjective. As an application, we obtain a new proof of the stable finiteness of group rings of sofic groups, a result previously established by G. Elek and A. Szabó using different methods.
متن کاملCellular automata between sofic tree shifts
We study the sofic tree shifts of A ∗ , where Σ∗ is a regular rooted tree of finite rank. In particular, we give their characterization in terms of unrestricted Rabin automata. We show that if X ⊂ A ∗ is a sofic tree shift, then the configurations in X whose orbit under the shift action is finite are dense in X , and, as a consequence of this, we deduce that every injective cellular automata τ ...
متن کاملCodes, unambiguous automata and sofic systems
We study the relationship between codes and unambiguous automata inside a sofic system. We show that a recognizable set is a code in a sofic system if and only if a particular automaton associated to the set and the shift is unambiguous. We discuss an example of a finite complete code in a sofic system in connection with the factorization conjecture.
متن کاملComputational Aspects of Cellular Automata on Countable Sofic Shifts
We investigate the computational properties of cellular automata on countable (equivalently, zero entropy) sofic shifts with an emphasis on nilpotency, periodicity, and asymptotic behavior. As a tool for proving decidability results, we prove the Starfleet Lemma, which is of independent interest. We present computational results including the decidability of nilpotency and periodicity, the unde...
متن کاملAsymptotic randomization of sofic shifts by linear cellular automata
Let M = Z be a D-dimensional lattice, and let (A,+) be an abelian group. AM is then a compact abelian group under componentwise addition. A continuous function : AM −→ AM is called a linear cellular automaton if there is a finite subset F ⊂ M and non-zero coefficients φf ∈ Z so that, for any a ∈ AM, (a) = ∑ f∈F φf · σ f(a). Suppose that μ is a probability measure onAM whose support is a subshif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1991
ISSN: 0166-218X
DOI: 10.1016/0166-218x(91)90094-d