Cellular automata Theory of computing mathematics