Abstract
In this paper we construct a simulation of a Turing machine by cellular automata based on the equivalence between programmable machines and Turing machines. For this class of cellular automata we prove that the associated limit language is regular. We also introduce algebraic characteristics which reduce the study of the complexity of the limit language to the analysis of a class of one-symbol languages.
Original language | English |
---|---|
Pages (from-to) | 53-78 |
Number of pages | 26 |
Journal | Theoretical Computer Science |
Volume | 110 |
Issue number | 1 |
DOIs | |
State | Published - 15 Mar 1993 |
Externally published | Yes |