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 |
Fingerprint
Dive into the research topics of 'On the limit set of some universal cellular automata'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver