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