The Mathematics of Cellular Automata