Матрица переходов задана в виде:


- не нулевые числа
1) Правильно ли я понимаю, что состояние 1 - несущественное, т к
и
В определении существенного сказано, что если существует такое состояние (2), т ч
существует такое

что

и для любого
Но ведь можно в состояние 1 вернуться через состояние 3 или это не считается?
2) Пара 1 и 2 сообщающаяся?
Два состояния сообщающиеся если существуют

что
Вроде в определении тоже не сказано про промежуточные состояния, но что то мне подсказывает, что они там учитываются