We investigate the behavior of discrete-time probabilistic cellular automata (PCA), which are Markov processes on spin configurations on a d-dimensional lattice, from a rigorous statistical mechanics point of view.