Об аттракторах в одной дискретной двоичной динамической системе с двудольным графом зависимостей

Рассматривается дискретная двоичная динамическая система $(S_n,f)$, $n>1$, состояниями которой являются все возможные двоичные векторы длины $n$, с эволюционной функцией вида $f=(x_n,0,\dots,0,x_1)$ и двудольным графом зависимостей. Приводится теорема, определяющая аттракторы, их вид и количество, в рассматриваемых системах.