Граф переходов имеет вид:
Исключим выходящие стрелки из отказных состояний и получим граф переходов для задачи Шерра II рода:
Система уравнений:
Задали
Полученные вектор-матрицы – решения сформулированных систем уравнений, задающих вероятности состояний вычислительной системы.