An algorithm is proposed for computation of indices of states in dynamical system (B, δ), whose states are binary vectors and evolutional function δ 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..