%0 Conference Proceedings
%T Fast One-Way Cellular Automata with Reversible Mealy Cells
%+ Justus-Liebig-Universität Gießen = Justus Liebig University (JLU)
%A Kutrib, Martin
%A Malcher, Andreas
%A Wendlandt, Matthias
%Z Part 2: Regular Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)
%C Milan, Italy
%Y Alberto Dennunzio
%Y Enrico Formenti
%Y Luca Manzoni
%Y Antonio E. Porreca
%I Springer International Publishing
%3 Cellular Automata and Discrete Complex Systems
%V LNCS-10248
%P 139-150
%8 2017-06-07
%D 2017
%R 10.1007/978-3-319-58631-1_11
%Z Computer Science [cs]Conference papers
%X We investigate cellular automata that are composed of reversible components with regard to the recognition of formal languages. In particular, real-time one-way cellular automata ($\text {OCA}$) are considered which are composed of reversible Mealy automata. Moreover, we differentiate between three notions of reversibility in the Mealy automata, namely, between weak and strong reversibility as well as reversible partitioned $\text {OCA}$ which have been introduced by Morita in [14]. Here, it turns out that every real-time $\text {OCA}$ can be transformed into an equivalent real-time $\text {OCA}$ with weakly reversible automata in its cells, whereas the remaining two notions seem to be weaker. However, a non-semilinear language is provided that can be accepted by a real-time $\text {OCA}$ with strongly reversible cells. On the other hand, we present a context-free, non-regular language that is accepted by some real-time reversible partitioned $\text {OCA}$.
%G English
%Z TC 1
%Z WG 1.5
%2 https://inria.hal.science/hal-01656358/document
%2 https://inria.hal.science/hal-01656358/file/447449_1_En_11_Chapter.pdf
%L hal-01656358
%U https://inria.hal.science/hal-01656358
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-5
%~ IFIP-AUTOMATA
%~ IFIP-LNCS-10248