Abstract
Inspired by shrinking cellular automata (SCA), we investigate another variant of the classical onedimensional cellular automaton: the shrinking and expanding cellular automaton (SXCA). In addition to the capability to delete some cells as in SCA, an SXCA can also create new cells between already existing ones. It is shown that there are reasonably close (polynomial) relations between the time complexity of SXCA and the space and time complexity of Turing machines and alternating Turing machines respectively. As a consequence the class of problems decidable in polynomial time by SXCA coincides with PSPACE.
Keywords
 Cellular Automata
 Alternating Turing Machines (ATM)
 Space Efficient Approach
 Relative Time Complexity
 Cell Bracket
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download conference paper PDF
1 Introduction
Rosenfeld et al. [5] have introduced socalled shrinking cellular automata.
The idea is that the transition function allows a cell to “delete” itself. If one cell does that, then its both neighbors to the left and right become direct neighbors, and similarly if several cells are deleted (a precise definition will be given in Sect. 2). Rosenfeld and Wu observed that some formal languages can be recognized in less than realtime, using the shrinking process to mimic reductions according to the productions of a context free grammar.
It took more than 30 years before Kutrib et al. [3] started a more thorough investigation of shrinking CA, explaining relations between shrinking and nonshrinking CA for small time bounds, i. e. realtime and linear time.
It seemed natural to also have a first look at cellular automata which can not only shrink, but also have the opposite ability expand by generating additional cells between already existing ones. As in the shrinking case, at least at first sight, it is only clear how to define this in the onedimensional case. It turns out that shrinking and expanding CA are quite powerful.
The remainder of this paper is organized as follows. In Sect. 2 we define shrinking and expanding cellular automata and related notions like the set SXCAP of problems decidable by SXCA in polynomial time. In Sect. 3 we relate time complexity of alternating Turing machines to that of SXCA, implying that PSPACE is included in SXCAP. In Sect. 4 we obtain results showing that in particular SXCAP in included in PSPACE. (Hence SXCA belong to the socalled second machine class [6].)
This paper is partially based on the bachelor thesis by the first author [4].
2 Basics
The set of all integers is denoted \(\mathbb {Z}\), the set of all positive integers \(\mathbb {N}_+\) and \(\mathbb {N}_0=\mathbb {N}_+\cup \{0\}\). For two sets A and B the set of all total functions mapping from A to B is denoted \(B^A\).
2.1 Standard CA
In this paper we are looking at onedimensional cellular automata with the standard neighborhood \(N=\{1,0,1\}\) of radius 1. Let Q denote the set of states of a single cell.
Then a global configuration is a function \(c:\mathbb {Z}\rightarrow Q\). The local transition function \(\delta :Q^N\rightarrow Q\) induces a global transition function \(\varDelta :Q^{\mathbb {Z}} \rightarrow Q^{\mathbb {Z}}\) in the usual way: \(\varDelta (c)(x)= \delta (\ell _{c,x})\) where \(\ell _{c,x}:N\rightarrow Q:n \mapsto c(x+n)\).
A (finite or infinite) computation is a sequence \((c_0,c_1,\dots )\) of configurations such that \(c_{t+1}=\varDelta (c_t)\) holds for all t.
We will always assume that there is a special state q such that the local transition functions satisfies two properties:

As long as the cells in the neighborhood of a cell x are all in state q the next state of x is q again, i. e. q is a quiescent state.

A cell which is not in state q will never enter state q in the next step.
We will only look at decision problems. The input for a CA is always a nonempty word \(w\in A^+\) over some finite alphabet \(A\subset Q\). The initial configuration of a word \(w=a_0\cdots a_{n1}\) of length \(w=n\) with \(a_i\in A\) for all \(i\le w\) is defined as
The requirements for q ensure that all configurations reachable from initial configurations \(c_w\) as just defined all consist of a finite connected block of cells all of which are in a nonquiescent state, extended on both sides with infinitely many cells in state q. Of course the block of nonquiescent cells may grow during a computation.
For the acceptance and rejection of input words we assume that a special state a (“accept”) and a special state r (“reject”) are present in Q. A configuration c is final iff cell 0 is in the accepting or the rejecting state. The computation \((c_w=c_0,c_1,\ldots ,c_t)\) for an input w is halting if \(c_t\) is final and if \(c_t\) is the only final configuration in the computation. We call \(c_t\) the result configuration for w. An input is accepted or rejected iff in the result configuration cell 0 is accepting or rejecting respectively.
The support of a configuration c is the set \(\{\, x\mid c(x)\not = q \,\}\). Let \(\mathcal {C}_{\textit{fin}}\) denote the set of all configurations \(c:\mathbb {Z}\rightarrow Q\) with finite support.
2.2 Shrinking and Expanding CA
We now have a look at nonstandard CA which can shrink by deleting cells “not needed” any longer [3, 5] and which can expand by generating new cells between already existing ones [4].
In the present paper the focus is on CA which are allowed to do both during a computation. The following definition of shrinking and expanding CA (SXCA) is adapted to this case.
Besides the set Q of proper states there is a “pseudo state” \(\otimes \). Formally we assume \(\otimes \notin Q\) and write \(\bar{Q}=Q\cup \{\otimes \}\). In analogy to \(\mathcal {C}_{\textit{fin}}\) let \(\bar{\mathcal {C}}_{\textit{fin}}\) denote the set of all functions \(\bar{c}:\mathbb {Z}\rightarrow \bar{Q}\) with having finite support \(\{\, x\mid \bar{c} (x)\not = q \,\}\).
The local transition function \(\delta =(\varepsilon ,\sigma )\) of an SXCA is given by two functions \(\varepsilon :Q^N\rightarrow \bar{Q}\) and \(\sigma :Q^N\rightarrow \bar{Q}\). Given a configuration \(c\in \mathcal {C}_{\textit{fin}}\) these induce a global transition of the SXCA defined in two substeps.

To a given configuration c first \(\varepsilon \) and \(\sigma \) are applied to each local configuration \(\ell _{c,x}\) observed by cell x in c. This gives rise to a function \(X:\mathcal {C}_{\textit{fin}}\rightarrow \bar{\mathcal {C}}_{\textit{fin}}\) in the following way.
$$\begin{aligned} \text {for all } x\in \mathbb {Z}: \begin{aligned} X(c)(2x1)&= \varepsilon (\ell _{c,x}) \\ X(c)(2x)&= \sigma (\ell _{c,x}) \\ \end{aligned} \end{aligned}$$(2)One can imagine that the existing cells are pulled apart by doubling their indices entering the preliminary states \(\sigma (\ell _{c,x})\) respectively. To the left of each such cell a “new” cell is generated with preliminary state \(\varepsilon (\ell _{c,x})\).

Secondly, the cells which are in state \(\otimes \) “are removed” and the “remaining cells are renumbered” in the following sense: Given any \(\bar{c}\in \bar{\mathcal {C}}_{\textit{fin}}\), define a renumbering
$$\begin{aligned} \begin{aligned} r_{\bar{c}}:\mathbb {Z}&\rightarrow \mathbb {Z}\\ 0&\mapsto \min \{\, x'\ge 0 \mid \bar{c}(x')\in Q \,\} \\ x&\mapsto \min \{\, x'>r_{\bar{c}}(x1) \mid \bar{c}(x')\in Q \,\},&\text { if } x> 0\\ x&\mapsto \max \{\, x'<r_{\bar{c}}(x+1) \mid \bar{c}(x')\in Q \,\},&\text { if } x< 0\\ \end{aligned} \end{aligned}$$(3)This induces a function \(S:\bar{\mathcal {C}}_{\textit{fin}}\rightarrow \mathcal {C}_{\textit{fin}}\) by
$$\begin{aligned} S(\bar{c})(x) = \bar{c}(r_{\bar{c}}(x)) \end{aligned}$$(4)Figure 1 shows an example.
The composition \(\varDelta =S\circ X\) is the global transition function of the SXCA.
CA in the classical definition are a special case, where existing cells are never deleted, i. e. all \(\sigma (\ell ) \not = \otimes \), and additional cells are never generated, i. e. all \(\varepsilon (\ell )=\otimes \). Shrinking CA are recovered by again requiring all \(\varepsilon (\ell )=\otimes \) and interpreting \(\otimes \) as the “dissolve” value used in [3].
The definitions for the notions computation, acceptance, etc., are defined in the same way as for standard CA.
The time complexity of an SXCA is the function \(f:\mathbb {N}_+\rightarrow \mathbb {N}_+\) where f(n) is the maximum number of steps needed for an input of length n until it is accepted or rejected. The set of problems which can be decided by SXCA with polynomial time complexity will be written \(\mathbf{SXCAP } \).
3 Relating ATM Time to SXCA Time
Fellah and Yu [2] have shown an intricate close relation between treeshaped cellular automata (with sequential input at the root) and alternating Turing machines (ATM) [1].
While the repeated generation of additional cells in an SXCA can yield an exponential growth of the number of cells —which superficially looks similar to the exponentially growing number of cells reachable from the root of a tree— there is a difference: In a tree the root can quickly broadcast a value in t steps to \(2^t\) cell. On the other hand, in a growing CA a cell (the “root”) from which the generation of \(2^t\) cells has been initiated, cannot in t steps broadcast a value to \(2^t\) cells (once the generation process is complete). This seems to increase the complexity of some constructions. Still, we will prove in this section:
Theorem 1
An alternating TM with time complexity bounded by some function t(n) can be simulated by an SXCA whose time complexity is \(O((t(n))^2)\).
Since alternating time is polynomially related to sequential space [1], one immediately obtains:
Corollary 2
\(\mathbf{PSPACE } \subseteq \mathbf{SXCAP } \), i. e. the set of problems which can be decided by SXCA in polynomial time comprises \(\mathbf{PSPACE } \).
We now describe a construction proving Theorem 1. We assume the reader is familiar with ATMs.
Let T be an alternating Turing machine with one work tape on which also the input is provided at the beginning of a computation. Furthermore let S denote the set of states, B the set of tape symbols, and \(A\subset B\) the input alphabet of the ATM. One may assume that in each situation there are exactly two possible continuations for the ATM. We will construct an SXCA C which for each input \(w\in A^+\) checks whether T would accept or reject w and then accepts or rejects w accordingly.
Without loss of generality T never writes blank symbols, and hence there is always one contiguous tape segment with nonblank symbols comprising all (input and) visited squares. The SXCA C uses k consecutive cells to store such segment of length k with symbols \(a_1\cdots a_k\), along with a representation of the ATM head being positioned on symbol \(a_p\), and the ATM being in state \(s\in S\). Each cell stores one symbol, and cell p in addition the state s while the others store a value indicating that the head is not on the respective square. In addition the block is surrounded by two “bracket cells”. See Fig. 2 for an example of such a block of the SXCA.
In its very first step, C changes the states storing the input symbols such that the cells represent the corresponding initial ATM configuration (as described above). Afterwards, C iterates the following procedure:

1.
New cells are generated to the left of the block and the block contents are copied to it. For each state s of the ATM, the states in both blocks are distinguished by using an unprimed representation s in the left one, and a primed representation \(s'\) in the right one.

2.
Between the blocks an additional cell is used to remember whether the ATM state is an existential or a universal one. The pair of blocks is surrounded by an additional pair of brackets. See Fig. 3.

3.
In the left block, the first alternative for the next step of the ATM is simulated, while the second alternative is simulated in the right one. The SXCA can distinguish between the two cases because different representations of the state are used in the two blocks.

4.
In each block C checks whether the ATM state is a final one.

If this is not the case, then C continues with step 1 above.

If the state is final, C breaks out of the loop for the block and continues with step 5 below.


5.
If the ATM state is a final one, then signals are sent in both directions to the nearest enclosing brackets deleting all cells which do not store the state or the brackets. Thus, the block is shrunk to a single cell storing state a or state r.

6.
Eventually, an extra cell storing a quantifier will observe final states in both its neighboring cells. It then sends signals in both directions to the nearest enclosing brackets. This causes the deletion of the two cells which contain final states, as well as of the ones containing the brackets. The cell itself enters state a or r according to the following rules:

It enters a in case the quantifier is \(\exists \) and at least one of the neighboring final states was a, or if the quantifier is \(\forall \) and both neighboring final states were a.

Otherwise the cell enters state r.

As long as a configuration is not a final one, the block, inside the brackets, representing it will be replaced by two bracketed blocks and the \(\exists /\forall \) marker. The resulting nested hierarchy of brackets will be deleted from the inside out, once final configurations have been reached.
In the end, all nonquiescent cells are deleted except for a single cell, which is in state a or r if and only if the ATM would accept or reject the input, respectively.
It remains to estimate the time complexity of the SXCA. If the ATM is t(n) timebounded, then, for an input of length n, it will never make more than t(n) steps during a possible computation and hence never visit more than t(n) squares. Therefore, the length of all blocks which have to be copied during step 1 is at most t(n). The simulation of one step of the ATM requires only constant time. Consequently after \(O((t(n))^2)\) SXCA steps in every block a final state is reached.
Deleting the nonstate cells within a block again only takes time t(n), and this also has to be done t(n) times. Therefore the result of the ATM is available after \(O((t(n))^2)\) steps.
4 Relating SXCA Time to TM Space
At the beginning of the previous section it has already been pointed out that the (compared to tree CA) somewhat restricted possibilities of communication between cells may manifest themselves in somewhat less efficient simulations of other models by SXCA. On the other hand, the ability to delete a possibly large number of cells simultaneously, until now seems to impede particularly efficient “simulations” of SXCA by other models such as ATM. Instead of elaborating a somewhat arduous ATM, in this section we only exhibit a space efficient approach:
Theorem 3
An SXCA whose time complexity is bounded by t(n) can be simulated by a deterministic TM with space complexity bounded by \(O((t(n))^2)\).
Together with Theorem 1 this implies:
Corollary 4
\(\mathbf{SXCAP } = \mathbf{PSPACE } \), i. e. the set of problems which can be decided by SXCA in polynomial time is exactly \(\mathbf{PSPACE } \).
Thus SXCA are a model in the socalled second machine class [6].
In order to prove Theorem 3 we first describe an algorithm and discuss its space complexity afterwards. For better readability at some points we have forced page breaks to make sure that pseudo code and corresponding explanations are on the same page.
We proceed “top down”, starting with a very simple function, and proceed in three refining steps.
Assuming that there is a function \(\textsc {State}(\text {cell } x, \text {time } t)\) which computes the state of cell \(x\in \mathbb {Z}\) at time \(t\in \mathbb {N}_0\), it is trivial to determine whether the SXCA accepts a given input w. One just has to find the first time, when cell 0 enters a final state and check that. See Algorithm 1.
Next, we describe the process of determining the state of a cell x at time t. The case \(t=0\) is trivial. For \(t>0\), it is important to remember how the transition from a configuration c to S(X(c)) was defined in Sect. 2; in particular see Fig. 1. There are two possibilities how a cell z at time \(t1\), given its state and those of its both neighbors, can give rise to the state of cell x at time t: (i) by changing its own state using \(\sigma \); or (ii) by generating a new cell using \(\varepsilon \). Assume that z, along with a flag new which signals whether x was created using \(\varepsilon \) or not, can be computed by a function \(\textsc {Predecessor}(x,t)\). Then Algorithm 2 shows a straightforward way to compute the state of cell x at time t.
The renumbering of cells was defined earlier by distinguishing between two cell groups: the ones with indices \(x\ge 0\), and those with indices \(x<0\). Observe that the renumbering of cells never changes the index of a cell from one group to the other one. Now, consider the case \(x\ge 0\) first, and assume that there is function \(\textsc {Successor}(x,t)\) which, for a cell index x at time t, returns the index z at which the given cell will be located at time \(t+1\), or \(\infty \) in case the cell is deleted. Then, determining \(\textsc {Predecessor}(x,t)\) is a simple matter of counting how many cells z get positioned to the left of x at time t. The case \(x<0\) is similar; the difference is that one has to count the cells to the right. Using the function \(\mathop {\text {sign}}:\mathbb {Z}\rightarrow \mathbb {Z}\) with \(\mathop {\text {sign}}(0)=0\), and \(\mathop {\text {sign}}(x)=x/x\) otherwise, allows one to write down compact code working for both cases as shown in Algorithm 3.
Finally, \(\textsc {Successor}(x,t)\) has to be described; see Algorithm 4 on the next page. Roughtly speaking, this is again a simple counting procedure: For every cell “between 0 and up to, but excluding x itself”, one simply counts whether it gives rise to 0, 1 or 2 cells at time \(t+1\). After the trivial cases (cell x is deleted, or \(x=0\)) have been handled, the consequences of the actions of cell 0 are taken into account. Before the while loop is started, i is the number of the first cell \(\not =0\) in the direction of cell x, and z is already the correct value to be returned in case none of the cells \(i,\ldots , x\mathop {\text {sign}}(x)\) lead to states \(\not =\otimes \). Subsequently, z is increased/decreased (depending on which side of 0 is considered) when required.
Finally, the space complexity of the above algorithm has to be determined depending on the length \(n=w\) of the input. Let t(n) be the time complexity of the SXCA. First of all, one observes that, inside finalState, there will be calls to State for all t from 0 to t(n). This requires a counter which uses \(\log t(n)\) space.
Secondly, the functions State, Predecessor and Successor all have a parameter time t, and they call themselves recursively in such a way that at least on every second recursion the time parameter is decreased by 1. Hence the number of recursion levels is bounded by 2t(n).
It remains to determine the space needed on each recursion level in any of the three functions. In all of them, q a constant number of cell indices have to be stored. Since the number of nonquiescent cells can only grow from k to \(2(k+2)\) in a single global step, from an initial configuration with \(n\ge 2\) cellscan, after t(n) steps, give rise to at most \(n\cdot 4^{t(n)}\) nonquiescent cells. O(t(n)) bits suffice for storing the index of any cell in this resulting configuration.
Therefore the total space complexity of the above algorithm is bounded by \(O((t(n)^2)\).
5 Conclusion and Outlook
We have proven that space complexity of Turing machines and time complexity of shrinking and expanding cellular automata are polynomially related. In the construction we made use of both shrinking and expanding, but only in a somewhat restricted way: During a first part of the computation the CA was only expanding, and during the second part only shrinking.
It is still an open problem to exactly characterize the set of problems which, for example, can be decided by polynomial time cellular automata which can only expand, but not shrink. The results may depend on the precise definition of acceptance for XCA.
References
Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28, 114–133 (1981)
Fellah, A., Yu, S.: Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization. In: Berghel, H., et al. (eds.) Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990’s, SAC 1992, pp. 1159–1166. ACM, New York (1992)
Kutrib, M., Malcher, A., Wendlandt, M.: Shrinking oneway cellular automata. In: Kari, J. (ed.) AUTOMATA 2015. LNCS, vol. 9099, pp. 141–154. Springer, Heidelberg (2015)
Modanese, A.C.V.: Shrinking and Expanding Cellular Automata. Bachelor Thesis. Karlsruhe Institute of Technology (2016)
Rosenfeld, A., Wu, A., Dubitzki, T.: Fast language acceptance by shrinking cellular automata. Inf. Sci. 30, 47–53 (1983)
van Emde Boas, P.: Machine models and simulations. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 1–66. Elsevier (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 IFIP International Federation for Information Processing
About this paper
Cite this paper
Modanese, A., Worsch, T. (2016). Shrinking and Expanding Cellular Automata. In: Cook, M., Neary, T. (eds) Cellular Automata and Discrete Complex Systems. AUTOMATA 2016. Lecture Notes in Computer Science(), vol 9664. Springer, Cham. https://doi.org/10.1007/9783319393001_13
Download citation
DOI: https://doi.org/10.1007/9783319393001_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 9783319392998
Online ISBN: 9783319393001
eBook Packages: Computer ScienceComputer Science (R0)