4.4.2. Находим максимальные группы совместимости

Для нахождения максимальных групп совместимости просматриваем треугольную таблицу и объединяем в группы попарно совместимые между собой состояния. Все состояния, входящие в группу совместимости, должны быть между собой попарно совместны. Группы совместимости должны отражать все совместимости в треугольной таблице.

Выписываем группы совместимости и обозначаем буквами латинского алфавита.

10, 19, 20, 21, 22 – A

14, 15, 16, 17, 18 – B

10, 11, 12, 19, 20 – C

9, 23 – D

9, 13 – E

8, 14, 18 – F

6, 7, 8, 18 – G

6, 7, 17 – H

5, 9 – I

4, 10, 19, 20 – J

3, 4, 10, 19 – K

1, 2, 6, 18 – L

1, 2, 14 – M

6, 16 – N

1, 17 – O

0, 9 – P

4.4.3. Построение таблицы покрытия и определение минимального класса совместимости

Таблица 9

Таблица покрытия

0

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

A

X

X

X

X

X

B

X

X

X

X

X

C

X

X

X

X

X

D

X

X

E

X

X

F

X

X

X

G

X

X

X

X

H

X

X

X

I

X

X

J

X

X

X

X

K

X

X

X

X

L

X

X

X

X

M

X

X

X

X

N

X

X

O

X

X

P

X

X

Формула покрытия будет иметь следующий вид:

f = D ∙ A ∙ A ∙ (A+C+J) ∙ (A+C+J+K) ∙ (B+F+G+L) ∙ (B+H+O) ∙ (B+N) ∙ B* *(B+F+M) ∙ E ∙ C ∙ C ∙ (A+C+J+K) ∙ (D+E+I+P) ∙ (F+G) ∙ (G+H) ∙ (G+H+L+N) ∙ I * *(J+K) ∙ K ∙ (L+M) ∙ (L+M+O) ∙ P = A ∙ B ∙ C ∙ D ∙ E ∙ G ∙ I ∙ K ∙ M ∙ P.

Запишем минимальный класс совместимости и обозначим полученные группы совместимости новыми номерами состояний эквивалентного автомата.

23 – 9

19, 20, 21, 22 – 8

14, 15, 16, 17, 18 – 7

10, 11, 12 – 6

23 – 5

9, 13 – 4

6, 7, 8 – 3

5 – 2

1, 2 – 1

0 – 0