Garden of Eden states in traffic models

We investigate the allowed configurations in the stationary state of the cellular automaton model for single-lane traffic. It is found that certain states in the configuration space can not be reached if one uses parallel dynamics. These so-called Garden of Eden (GoE) states do not exist for random-sequential dynamics and are responsible for the strong short-ranged correlations found in parallel dynamics. By eliminating the GoE states we obtain a simple and effective approximative description of the model. For $v_{max}=1$ the exact solution is recovered. For $v_{max}=2$ this elimination leads to much higher values of the flux compared to the mean-field result which are in good agreement with Monte Carlo simulations.