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