Результат первого шага минимизации
Lk |
L1 |
L2 |
Ii2 |
||||||||
PLk |
0,82 |
0,18 |
|||||||||
ni |
S0 |
S4 |
S1 |
S2 |
S3 |
S5 |
S6 |
S7 |
|
||
pj |
0,8 |
0,02 |
0,05 |
0,05 |
0,02 |
0,02 |
0,02 |
0,02 |
|
||
π6 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
||
π1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0,1534 |
||
π2 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0,1735 |
||
π3 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0,1653 |
||
π4 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0,3392 |
||
π5 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0,3392 |
||
π7 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0,1376 |
||
π8 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0,3245 |
||
π9 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0,1800 |
||
π10 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0,1735 |
||
π11 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0,1735 |
||
π12 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0,1534 |
Условные вероятности того, что проверка принимает значение 1 или 0 соответственно при условии, что состояние находится в Lk -й части таблицы:
; .
Для π1 имеем:
Для π2:
Для π3:
Для π4:
Для π5:
Для π7:
Для π8:
Для π9:
Для π10:
Для π11:
Для π12:
Производя подобные вычисления, заполняем столбец Ii2 в табл. 2. В тест по максимальному значению выбирается π4, разбивающий каждую часть табл. 2 на две части.
В результате получается табл. 3, состоящая из четырех частей L1..L4. Строка проверки π4 поставлена первой. Здесь оказывается уже выделенным состояние S0, S4, из которого состоит часть L1.
Отбор следующей проверки в тест (третий шаг) производится по табл. 3 с использованием формулы
, (3)
где , и имеют тот же смысл, что и в (2)
; ; ; .
Если в какой-то части Lk таблицы проверке πi соответствует только единицы или только нули, то для этой части информация равна 0.