A Simulation of Oblivious Multi-head One-way Finite Automata by Real-time Cellular Automata

Alex Borello (1)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

In this paper, we present the simulation of a simple, yet significantly powerful, sequential model by cellular automata. The simulated model is called oblivious multi-head one-way finite automata and is characterized by having its heads moving only forward, on a trajectory that only depends on the length of the input. While the original finite automaton works in linear time, its corresponding cellular automaton performs the same task in real time, that is, exactly the length of the input. Although not truly a speed-up, the simulation may be interesting and reminds us of the open question about the equivalence of linear and real times on cellular automata.

Mots clés: simulation; oblivious multi-head one-way finite automata; cellular automata; real time

Domaines: Autre [cs.OH]

Alex Borello. A Simulation of Oblivious Multi-head One-way Finite Automata by Real-time Cellular Automata. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.65-75. ⟨hal-00541994⟩