Indices in dynamical system ($B,\delta$) of binary vectors

An algorithm is proposed for computation of indices of states in dynamical system ($B,\delta$), whose states are binary vectors and evolutional function $\delta$ transforms vectors according to the following rules: the initial component 0 (if exists) is replaced by 1, every digram 10 by 01, and the final 1 (if exists) by 0. Correctness of the algorithm is proven.