Matrix product ground states for exclusion processes with parallel dynamics

We show in the example of a one-dimensional asymmetric exclusion process that stationary states of models with parallel dynamics may be written in a matrix product form. The corresponding algebra is quadratic and involves three different matrices. Using this formalism we prove previous conjectures for the equal-time correlation functions of the model.