A universal cellular automaton in quasi-linear time and its S—m—n form

Bruno Martin
1994 Theoretical Computer Science  
Abstruct Martin, B., A universal cellular automaton in quasi-linear time and its S-m-n form, Theoretical Computer Science 123 (1994) 199-237. In this paper, we describe a quasi-linear time universal cellular automaton. This cellular automaton is not only computation universal (in the sense of simulating any Turing machine), but also intrinsically universal (it is capable of simulating arbitrary one-dimensional cellular automata, even two-way). The simulation is based on a novel programming
more » ... age (the brick language), which simplifies the recursive specifications of transition functions. Moreover, we prove that cellular automata form an acceptable programming system for parallel computation, thus providing an S-~HI theorem for cellular automata. This allows us to apply well-known results of the general theory of computation to cellular automata and might give a practical framework for studying the structural complexity of cellular automata computations.
doi:10.1016/0304-3975(92)00076-4 fatcat:m7t57xxt7ngv7gauqx2loetmhq