Simulation of one-way cellular automata by boolean circuits

Véronique Terrier (1)

1 Equipe AMACC - Laboratoire GREYC - UMR6072

We present a relationship between two major models of parallel computation: the one-way cellular automata and the boolean circuits. The starting point is the boolean circuit of small depth designed by Ladner and Fischer to simulate any rational transducer. We extend this construction to simulate one-way cellular automata by boolean circuits.

Mots clés: Parallel computation; One-way cellular automata; Boolean circuit

Domaines: Informatique [cs]; Algorithme et structure de données [cs.DS]

Véronique Terrier. Simulation of one-way cellular automata by boolean circuits. Theoretical Computer Science, 2009, p.266--276. ⟨10.1016/j.tcs.2009.10.005⟩. ⟨hal-01083653⟩