We describe the structure of the group of all invertible CA transformations
acting on 1-dimensional finite-length cellular automata defined on a finit
e states set. It turns out that the group is a direct product of semidirect
products of cyclic and symmetric groups. The analysis of this group has be
en carried out by means of an isomorphic image of the invertible CA transfo
rmations group, which was easier to handle. A presentation of the group by
generators and relations is also supplied. Most of the results obtained can
also be applied to analyse the automorphism group of any finite one-to-one
dynamical system. (C) 1999 Academic Press.