Errata for "Computational Aspects of Cellular Automata on Countable Sofic Shifts"

Errata for "Realization Problems for Nonuniform Cellular Automata"

Observed in discussion with Johan Kopra about the paper [Wolnik-Dziemiańczuk-De Baets].

My Proposition 10 states that subshifts realized through number conservation are preimages of finite periodic SFTs in symbol projections. This is presumably based on an incorrect reading of the formula in [2] (which I correctly quote). My claim is totally insane and I seem to have not looked at a single example; already for shift maps this subshift is much more interesting than suggested here!

Question 1 in [Wolnik-Dziemiańczuk-De Baets] asks what this SFT is when we take ECA as the local rules.

References

[Wolnik-Dziemiańczuk-De Baets] Barbara Wolnik, Maciej Dziemiańczuk, Bernard De Baets, Non-uniform number-conserving elementary cellular automata, Information Sciences, 2023, ISSN 0020-0255, https://doi.org/10.1016/j.ins.2023.01.033.

Last update: 17.1.2023