We investigate decidable properties for regular cellular automata. In particular, we show that regularity itself is an undecidable property and that nilpotency, equicontinuity and positively expansiveness became decidable if we restrict to regular cellular automata.
Pietro Di Lena (2006). Decidable Properties for Regular Cellular AutomataFourth IFIP International Conference on Theoretical Computer Science- TCS 2006 [10.1007/978-0-387-34735-6_17].
Decidable Properties for Regular Cellular AutomataFourth IFIP International Conference on Theoretical Computer Science- TCS 2006
DI LENA, PIETRO
2006
Abstract
We investigate decidable properties for regular cellular automata. In particular, we show that regularity itself is an undecidable property and that nilpotency, equicontinuity and positively expansiveness became decidable if we restrict to regular cellular automata.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.