On One-way One-bit O (One)-message Cellular Automata

Cellular automata are one-dimensional arrays of interconnected interacting finite automata, also called cells. Here, we investigate one of the weakest class of cellular automata, namely the class of real-time one-way cellular automata. Additionally, we impose two restrictions on the inter-cell communication. First, the number of allowed uses of the links between cells is bounded. Moreover, the amount of information to be communicated in one time step is bounded by a constant being independent from the given automaton. In the weakest case, we consider cellular automata with one-way information flow where each cell receives one bit of information exactly once. In this case, we obtain a characterization of the regular languages for unary alphabets and the acceptance of non-context-free languages for non-unary alphabets. Next, a proper language hierarchy can be derived when increasing the number of allowed uses of the links between cells step by step. Finally, decidability problems of these restricted cellular automata are studied and undecidability of almost all problems can be proven even in the most restricted case of one-way one-bit communication.

[1]  Martin Kutrib,et al.  Cellular Automata with Sparse Communication , 2009, CIAA.

[2]  Martin Kutrib,et al.  Bounded Languages Meet Cellular Automata with Sparse Communication , 2009, DCFS.

[3]  Martin Kutrib,et al.  Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability , 2006, MFCS.

[4]  R. Vollmar Some remarks about the “efficiency” of polyautomata , 1982 .

[5]  Hiroshi Umeo,et al.  Linear-time recognition of connectivity of binary images on 1-bit inter-cell communication cellular automaton , 2001, Parallel Comput..

[6]  Martin Kutrib,et al.  Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity , 2006, IFIP TCS.

[7]  Hiroshi Umeo,et al.  A Design of Real-Time Non-Regular Sequence Generation Algorithms and Their Implementations on Cellular Automata with 1-Bit Inter-Cell Communications , 2002, Fundam. Informaticae.

[8]  Hiroshi Umeo,et al.  Real-Time Generation of Primes by a 1-Bit-Communication Cellular Automaton , 2003, Fundam. Informaticae.

[9]  Thomas Worsch Linear Time Language Recognition on Cellular Automata with Restricted Communication , 2000, LATIN.

[10]  Martin Kutrib,et al.  Cellular Automata - A Computational Point of View , 2008, New Developments in Formal Languages and Applications.

[11]  Martin Kutrib,et al.  Cellular Automata and Language Theory , 2009, Encyclopedia of Complexity and Systems Science.

[12]  S. R. Seidel Language recognition and the synchronization of cellular automata. , 1979 .

[13]  Martin Kutrib,et al.  Cellular automata with sparse communication , 2010, Theor. Comput. Sci..

[14]  R. Vollmar On Cellular Automata with a Finite Number of State Changes , 1981 .