Пусть

- марковская цепь. Будет ли марковской цепью "обратная" последовательность

?
Будет.
Исходим из определения, для исхода

его вероятность

.
Рассмотрим

. В числители будут суммы по

, в знаменателе - по

. Заметим что произведение

сокращается. Можно выписать получающуюся дробь, получится нечто, ок.
Теперь

. Добавятся суммы по

. Но по свойству переходных вероятностей они схлопнутся в 1. В итоге - то же самое что и выше.
Правильно?