Cellular Automata are Generic

Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular automaton with unconstrained topology and with the pow...

Full description

Bibliographic Details
Main Authors: Nachum Dershowitz, Evgenia Falkovich
Format: Article
Language:English
Published: Open Publishing Association 2015-04-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1504.03013v1