9 pages, no figures, LaTeX. Shortened, some definition changed, proof
  of main lemma changed accordingly. Almost as submitted to Journal of Cellular
  Automata for special issue dedicated to Automata 2007 conference proceedings.
  Exceptions: one major error corrected in definition of surjunctivity; adapted
  for use of the article document class