Reversibility and surjectivity problems of cellular automata
Journal of Computer and System Sciences
An introduction to symbolic dynamics and coding
An introduction to symbolic dynamics and coding
Cellular automata and strongly irreducible shifts of finite type
Theoretical Computer Science
Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
Journal of Computer and System Sciences
Sofic and almost of finite type tree-shifts
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Cellular automata between sofic tree shifts
Theoretical Computer Science
Theory of Computing Systems
Theory of Computing Systems
Hi-index | 0.00 |
We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts.