The general equivalence between D-dimensional probabilistic cellular automata (PCA) and (D+ 1)-dimensional
equilibrium spin models satisfying a "disorder condition" is first described in a pedagogical way and then
used to analyze the phase diagrams, the critical behavior, and the universality classes of some automata.