Decidability and undecidability in cellular automata (Q2869780): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/03081079.2012.695895
+Normal rank
@@ Property / OpenAlex ID @@
+W2123070771
@@ Property / OpenAlex ID: W2123070771 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62045912
@@ Property / Wikidata QID: Q62045912 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
+Normal rank
@@ Property / cites work @@
+Ergodicity, transitivity, and regularity for linear cellular automata over \(\mathbb{Z}_m\)
+Normal rank
@@ Property / cites work @@
+Transitive Cellular Automata are Sensitive
@@ Property / cites work: Transitive Cellular Automata are Sensitive / rank @@
+Normal rank
@@ Property / cites work @@
+An aperiodic set of 13 Wang tiles
@@ Property / cites work: An aperiodic set of 13 Wang tiles / rank @@
+Normal rank
@@ Property / cites work @@
+On the Limit Sets of Cellular Automata
@@ Property / cites work: On the Limit Sets of Cellular Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On computing the entropy of cellular automata.
@@ Property / cites work: On computing the entropy of cellular automata. / rank @@
+Normal rank
@@ Property / cites work @@
+The surjectivity problem for 2D cellular automata
@@ Property / cites work: The surjectivity problem for 2D cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Number-conserving cellular automata I: Decidability.
+Normal rank
@@ Property / cites work @@
+Fixed-point tile sets and their applications
@@ Property / cites work: Fixed-point tile sets and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Lyapunov exponent versus expansivity and sensitivity in cellular automata
+Normal rank
@@ Property / cites work @@
+On the hierarchy of conservation laws in a cellular automaton
+Normal rank
@@ Property / cites work @@
+On time-symmetry in cellular automata
@@ Property / cites work: On time-symmetry in cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Additive conserved quantities in discrete-time lattice dynamical systems
+Normal rank
@@ Property / cites work @@
+Endomorphisms and automorphisms of the shift dynamical system
+Normal rank
@@ Property / cites work @@
+The topological entropy of cellular automata is uncomputable
+Normal rank
@@ Property / cites work @@
+Linear cellular automata over \(Z_ m\)
@@ Property / cites work: Linear cellular automata over \(Z_ m\) / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility of 2D cellular automata is undecidable
+Normal rank
@@ Property / cites work @@
+The Nilpotency Problem of One-Dimensional Cellular Automata
+Normal rank
@@ Property / cites work @@
+Reversibility and surjectivity problems of cellular automata
+Normal rank
@@ Property / cites work @@
+Rice's theorem for the limit sets of cellular automata
+Normal rank
@@ Property / cites work @@
+A small aperiodic set of Wang tiles
@@ Property / cites work: A small aperiodic set of Wang tiles / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of cellular automata: a survey
@@ Property / cites work: Theory of cellular automata: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+The Tiling Problem Revisited (Extended Abstract)
@@ Property / cites work: The Tiling Problem Revisited (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Snakes and Cellular Automata: Reductions and Inseparability Results
+Normal rank
@@ Property / cites work @@
+Periodicity and Immortality in Reversible Computing
+Normal rank
@@ Property / cites work @@
+Languages, equicontinuity and attractors in cellular automata
+Normal rank
@@ Property / cites work @@
+The 4-way deterministic tiling problem is undecidable
+Normal rank
@@ Property / cites work @@
+Q3568120
@@ Property / cites work: Q3568120 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete and efficiently computable topological classification of D-dimensional linear cellular automata over \(Z_{m}\)
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+A Characterization of Cellular Automata Generated by Idempotents on the Full Shift
+Normal rank
@@ Property / cites work @@
+Expansiveness, entropy and polynomial growth for groups acting on subshifts by automorphisms
+Normal rank
@@ Property / cites work @@
+Proving theorems by pattern recognition I
@@ Property / cites work: Proving theorems by pattern recognition I / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2869780