Pages that link to "Item:Q1342233"

The following pages link to Rice's theorem for the limit sets of cellular automata (Q1342233):

Displaying 50 items.

• Realization problems for nonuniform cellular automata (Q475398) (← links)
• \(\mu\)-limit sets of cellular automata from a computational complexity perspective (Q494067) (← links)
• Nondeterministic cellular automata (Q508657) (← links)
• Quasi-periodic configurations and undecidable dynamics for tilings, infinite words and Turing machines (Q596050) (← links)
• Computation theoretic aspects of cellular automata (Q807035) (← links)
• Formal languages and global cellular automaton behavior (Q807036) (← links)
• Infinite traces and symbolic dynamics (Q841627) (← links)
• The relationships of three elementary cellular automata (Q862997) (← links)
• Statistical mechanics of surjective cellular automata (Q887083) (← links)
• A search algorithm for subshift attractors of cellular automata (Q968269) (← links)
• Topological and measure-theoretic properties of one-dimensional cellular automata (Q992262) (← links)
• A Rice-style theorem for parallel automata (Q1004287) (← links)
• On the dynamics and recursive properties of multidimensional symbolic systems (Q1016235) (← links)
• On the directional dynamics of additive cellular automata (Q1034602) (← links)
• Additive one-dimensional cellular automata are chaotic according to Devaney's definition of chaos (Q1269911) (← links)
• Attractors of linear cellular automata (Q1307699) (← links)
• Number conserving cellular automata. II: Dynamics. (Q1401402) (← links)
• A second step towards complexity-theoretic analogs of Rice's Theorem (Q1575716) (← links)
• Ergodicity, transitivity, and regularity for linear cellular automata over \(\mathbb{Z}_m\) (Q1575952) (← links)
• On dynamical complexity of surjective ultimately right-expansive cellular automata (Q1656687) (← links)
• Characterisation of limit measures of higher-dimensional cellular automata (Q1693998) (← links)
• Theory of cellular automata: a survey (Q1779295) (← links)
• Number-conserving cellular automata I: Decidability. (Q1874409) (← links)
• Solution of some conjectures about topological properties of linear cellular automata (Q1884850) (← links)
• A complete and efficiently computable topological classification of D-dimensional linear cellular automata over \(Z_{m}\) (Q1960524) (← links)
• Dynamical behavior of additive cellular automata over finite abelian groups (Q2003993) (← links)
• The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics (Q2026747) (← links)
• Nilpotency and periodic points in non-uniform cellular automata (Q2041685) (← links)
• The mirage of universality in cellular automata (Q2086715) (← links)
• An efficiently computable characterization of stability and instability for linear cellular automata (Q2229949) (← links)
• On the undecidability of the limit behavior of cellular automata (Q2268864) (← links)
• A new dimension sensitive property for cellular automata (Q2575746) (← links)
• Arithmetical complexity of the language of generic limit sets of cellular automata (Q2689368) (← links)
• Decidability and undecidability in cellular automata (Q2869780) (← links)
• Rice’s Theorem for μ-Limit Sets of Cellular Automata (Q3012911) (← links)
• Revisiting the Rice Theorem of Cellular Automata (Q3113770) (← links)
• Towards a Rice Theorem on Traces of Cellular Automata (Q3525579) (← links)
• A complete and efficiently computable topological classification of D-dimensional linear cellular automata over Z m (Q4572007) (← links)
• Sensitive dependence on initial conditions for cellular automata (Q4935796) (← links)
• On ergodic linear cellular automata over Zm (Q5048943) (← links)
• Growing patterns in 1D cellular automata (Q5055892) (← links)
• Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties (Q5092431) (← links)
• Classification of sofic projective subdynamics of multidimensional shifts of finite type (Q5246965) (← links)
• Mathematical Foundations of Computer Science 2004 (Q5311118) (← links)
• The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories (Q5504122) (← links)
• Freezing, Bounded-Change and Convergent Cellular Automata (Q5864724) (← links)
• Kolmogorov complexity and cellular automata classification (Q5941280) (← links)
• Decidable characterizations of dynamical properties for additive cellular automata over a finite abelian group with applications to data encryption (Q6064475) (← links)
• Asymptotic (a)synchronism sensitivity and complexity of elementary cellular automata (Q6547963) (← links)
• On principles of emergent organization (Q6571624) (← links)