Shrinking One-Way Cellular Automata

Abstract : We investigate cellular automata as acceptors for formal languages. In particular, we consider real-time one-way cellular automata ( OCA ) with the additional property that during a computation any cell of the OCA has the ability to dissolve itself and we call this model shrinking one-way cellular automata ( SOCA ). It turns out that real-time SOCA are more powerful than real-time OCA , since they can accept certain linear-time OCA languages. Additionally, a construction is provided that enables real-time SOCA to accept the reversal of real-time iterative array languages. Finally, restricted real-time SOCA are investigated which are allowed to dissolve only a number of cells that is bounded by some function. In this case, an infinite strict hierarchy of language classes is obtained.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01442469
Contributor : Hal Ifip <>
Submitted on : Friday, January 20, 2017 - 4:09:10 PM
Last modification on : Monday, February 26, 2018 - 1:40:02 PM
Long-term archiving on : Friday, April 21, 2017 - 3:55:09 PM

File

338243_1_En_11_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Shrinking One-Way Cellular Automata. 21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.141-154, ⟨10.1007/978-3-662-47221-7_11⟩. ⟨hal-01442469⟩

Share

Metrics

Record views

106

Files downloads

144