Количество недостижимых состояний в конечных динамических системах двоичных векторов, ассоциированных с ориентациями пальм

Рассматриваются конечные динамические системы двоичных векторов, ассоциированных с ориентациями пальм. Данной системе изоморфна конечная динамическая система ($B^{s+c}$, $\gamma$), $s>0$, $c>1$, состояниями которой являются все возможные двоичные векторы размерности $s+c$. Приведены формулы для подсчёта количества недостижимых и, как следствие, количества достижимых состояний в рассматриваемых динамических системах, представлены соответствующие статистические таблицы для систем с различными параметрами $s$ и $c$.