Showing math.DSShow all
2 papers · 1 filter
math.DS2026
On surjunctive and injunctive subshifts of finite type
Tullio Ceccherini-Silberstein, Michel Coornaert, Ville Salo
A dynamical system is said to be surjunctive if every injective endomorphism of the system is surjective and it is said to be injunctive if every surjective endomorphism is injecti…
math.DS2025
Descriptive Complexity of Sensitivity of Cellular Automata
Tom Favereau, Juliette Favereau, Ville Salo
We study the computational complexity of determining whether a cellular automaton is sensitive to initial conditions. We show that this problem is -complete in dimension 1 a…