More decision algorithms for global properties of 1D cellular automata

zbMATH Open1467.68102MaRDI QIDQ5010288FDOQ5010288

Authors: Sébastien Autran, Enrico Formenti 

Publication date: 25 August 2021

Full work available at URL: http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-1-14/

Recommendations

• scientific article; zbMATH DE number 149058
• Decidable Properties of 2D Cellular Automata
• scientific article; zbMATH DE number 4197448
• Reversibility and surjectivity problems of cellular automata
• Linear cellular automata and decidability

zbMATH Keywords

computational complexitysurjectivityfinite configurationsdecision algorithmsopenessclosingness

Mathematics Subject Classification ID

Dynamical aspects of cellular automata (37B15) Cellular automata (computational aspects) (68Q80)

Cited In (5)

• Title not available (Why is that?)
• On decidability properties of one-dimensional cellular automata
• Decision Algorithms for Cellular Automata States Based on Periodic Boundary Condition
• Model checking one-dimensional cellular automata
• Title not available (Why is that?)

This page was built for publication: More decision algorithms for global properties of 1D cellular automata

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