Cellular automata (CA) are fully discrete, spatially-distributed dynamical systems which can serve as an alternative framework for mathematical descriptions of physical systems. Furthermore, they constitute intrinsically parallel models of computation which can be e ciently realized with special-purpose cellular automata machines. The basic objective of this thesis is to determine techniques fo...