Cellular automata--mathematical models