Cellular automata, decidability and phasespace

DOI10.3233/FI-2010-340MaRDI QIDQ3000295zbMATH OpenOpenAlexFDO

Authors K. Sutner

Publication date 18 May 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-340

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

• On decidability properties of one-dimensional cellular automata
• Linear cellular automata and decidability
• Decidability and undecidability in cellular automata
• Revisiting the Rice theorem of cellular automata
• Model checking one-dimensional cellular automata

Cited in

(17)

• Cellular automata between sofic tree shifts
• Linear cellular automata and decidability
• Computing the periods of preimages in surjective cellular automata
• Cellular automata and \(\delta\)-uniform BSS machines
• scientific article; zbMATH DE number 2068878 (Why is no real title available?)
• scientific article; zbMATH DE number 2113941 (Why is no real title available?)
• Cellular automata and intermediate degrees.
• NP problems are tractable in the space of cellular automata in the hyperbolic plane
• Induction and restriction of cellular automata
• On decidability properties of one-dimensional cellular automata
• scientific article; zbMATH DE number 2046046 (Why is no real title available?)
• Decision Algorithms for Cellular Automata States Based on Periodic Boundary Condition
• scientific article; zbMATH DE number 6257036 (Why is no real title available?)
• Computational classification of cellular automata
• Model checking one-dimensional cellular automata
• Exact Discretization of 3-Speed Rational Signal Machines into Cellular Automata
• On the dynamical behaviour of linear higher-order cellular automata and its decidability

This page was built for publication: Cellular automata, decidability and phasespace

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000295)