3. Минимизация числа строк таблица переходов.
3.1. Нахождение максимальных подмножеств совместимых строк (мпсс тп).
Находятся множества
-
множества строк в которых в столбце j
проставлено состояние i
или знак безразличного состояния (~).
Для составления таблица покрытий (табл. 2) имеем:
Находятся множества
для всех четверок
Из полученных множеств исключаются те, которые полностью входят в другое множество. Оставшиеся множества являются максимальными подмножествами совместимых строк, они обозначаются латинскими буквами:
3.2. Составление таблицы покрытий
Столбцы таблицы соответствуют множествам А, В, С,…., а строки- строкам первичной таблицы переходов. На пересечении строки и столбца ставиться знак «+», если данная строка таблицы входит в данное подмножество совместимых строк.
Таблица покрытий
таблица 2
|
S |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
|
1 |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
+ |
|
|
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
+ |
|
+ |
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
+ |
|
|
+ |
|
|
+ |
|
|
+ |
|
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
+ |
+ |
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
10 |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
+ |
+ |
|
+ |
|
|
|
|
|
|
|
|
+ |
|
|
|
|
12 |
|
|
|
|
+ |
|
+ |
|
+ |
|
|
|
|
|
|
+ |
|
|
|
13 |
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
14 |
|
+ |
+ |
|
+ |
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|