Индексы в динамической системе $(B,\delta)$ двоичных векторов

Описывается алгоритм вычисления индексов состояний динамической системы ($B,\delta$), состояниями которой являются двоичные векторы, а эволюционная функция $\delta$ преобразует вектор с помощью одновременного выполнения следующих действий: начальный 0 (если он есть) заменяется на 1, каждая диграмма 10 – на 01, финальная 1 (если она есть) – на 0. Доказывается корректность алгоритма.