More decision algorithms for global properties of 1D cellular automata

MaRDI QIDQ5010288zbMATH OpenFDO

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/

zbMATH Keywords

computational complexitysurjectivityfinite configurationsdecision algorithmsopenessclosingness

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Decision Algorithms for Cellular Automata States Based on Periodic Boundary Condition
• Model checking one-dimensional cellular automata
• On decidability properties of one-dimensional cellular automata
• scientific article; zbMATH DE number 2098743 (Why is no real title available?)
• scientific article; zbMATH DE number 149058 (Why is no real title available?)

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)