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