Изменения
→Псевдокод
abs_num++;
</code>
Найдем число несущественных состояний <tex>nonabs=n-abs</tex>_<tex>num</tex>. Теперь нужно заполнить массивы Q (переходов между несущественными состояниями) и R (переходов из несущественных состояний в поглощающие). Для этого создадим сначала массив <tex>position</tex> где <tex>i</tex>-ый элемент указывает под каким номером будет находиться <tex>i</tex>-ое состояние среди существенных если оно существенное или несущественных в обратном случае, и заполним эти массивы.
<code style = "display: inline-block;">
count_q = 0;
else
Q[position[input[i][0]]][position[input[i][1]]] = input[i][2];
</code>
Найдем Матрицу E = I - Q и создадим единичную матрицу N.
<code style = "display: inline-block;">
for i=0 to nonabs
N[i][i]=1;'
E[i][i]=1;
for j=0 to nonabs
E[i][j]-=Q[i][j];
</code>
