Если существует матрица переходов, описывающая допустимые связи между состояниями, то итоговое количество допустимых последовательностей длины n можно найти как сумму элементов этой матрицы в степени n-1