Indices in Dynamical System (B, δ) of Binary Vectors

Abstract

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