On attractors of dynamical systems associated with cycles

A theorem that describes attractors of dynamical systems associated with cycles is proved. States of such a system are binary vectors of a given dimension and evolutional function transforms vectors according to the following rules: if both the initial component is 0 and the final one is 1 they are replaced by 1 and 0 respectively and all digrams 10 are replaced simultaneously by 01.