Exploring millions of 6-state FSSP solutions: the formal notion of local CA simulation

DOI10.1007/978-3-030-61588-8_1zbMath1467.68119arXiv2005.08570OpenAlexW3094917748MaRDI QIDQ2038007

Luidnel Maignan, Tien Thao Nguyen

Publication date: 8 July 2021

Full work available at URL: https://arxiv.org/abs/2005.08570

zbMATH Keywords

cellular automatafiring squad synchronization problemautomata minimization

Mathematics Subject Classification ID

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

This page was built for publication: Exploring millions of 6-state FSSP solutions: the formal notion of local CA simulation