Attractors of dynamical systems associated with cycles

We prove a theorem that describes attractors of dynamical systems associated with cycles. 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.