3.3. Определяем условно совместимые состояния.

С этой целью по таблице переходов проводим последовательное сравнение состояний, исключая несовместимые и абсолютно совместимые состояния.

Сравним состояния s₁ и s₂ по таблице переходов (см. табл. 1).

x₁ => s₂ и s₃ - состояния не совпадают;

x₂ => -/- и s₅ - состояния допустимо совпадают;

x₃ => s₃ и s₂ - состояния не совпадают;

x₄ => s₂ и -/- - состояния допустимо совпадают.

Из сравнения видно, что отличия состоят при воздействии входных сигналов x₁ и x₃. Следовательно, состояния s₁ и s₂ считаются совместимыми при условии, что совместимы состояния s₂ и s₃ (на основании симметричности s₂ ~ s₃ => s₃ ~ s₂). Поэтому в треугольной матрице в ячейке на пересечении состояний s₁ и s₂ записываем условия совместимости в виде 2.3.

Сравниваем состояния s₁ и s₃ .

x₁ => s₂ и s₃ - состояния не совпадают;

x₂ => -/- и s₄ - состояния допустимо совпадают;

x₃ => s₃ и -/- - состояния допустимо совпадают;

x₄ => s₂ и s₅ - состояния не совпадают.

Из сравнения видно, что не совпадают состояния при x₁ (s₂, s₃) и x₄ (s₂, s₅). Следовательно, состояния s₁ и s₃ совместимы при условии, что совместимы состояния (s₂ и s₃) и (s₂ и s₅). В треугольной матрице в ячейке на пересечении состояний s₁ и s₃ записываем условия совместимости в виде 2.3 и 2.5.

Продолжая дальнейшее сравнение состояний, заполняются все ячейки треугольной матрицы, вид которой представлен в таблице 5.

Таблица 5

s2	2.3
s3	2.3 2.5	4.5
s4	2.3	1.5	1.4
s5	1.3	Х	V	1.2
	s1	s2	s3	s4

Дальнейшее определение совместимых и несовместимых состояний осуществляется из анализа таблицы 5 путем последовательного просмотра столбцов.

Шаг 1. Находятся абсолютно несовместимые состояния. В данном случае это состояния (s₂ и s₅). Просматривая столбцы треугольной матрицы и в тех ячейках, где имеются сочетания состояний s₂ и s₅ (2.5) ставиться Х (крест).

В результате получим таблицу 6.

Таблица 6

s2	2.3
s3	2.3 2.5Х	4.5
s4	2.3	1.5	1.4
s5	1.3	Х	V	1.2
	s1	s2	s3	s4

Так как состояние (s₂ и s₅) несовместимы, следовательно, несовместимы состояния (s₁ и s₃) по условию совместимости.

Шаг 2. Просматривая столбцы треугольной матрицы таблицы 6, там, где в ячейках есть сочетание состояний (s₁ и s₃) ставиться Х (крест). На основании условий совместимости несовместимыми состояниями являются состояния (s₁ и s₅).

В результате получим таблицу 7.

Таблица 7

s2	2.3
s3	2.3 2.5Х	4.5
s4	2.3	1.5Х	1.4
s5	1.3Х	Х	V	1.2
	s1	s2	s3	s4

Шаг 3. Просматривая таблицу 7, там где в ячейках есть сочетание состояний (s₁ и s₅) ставиться Х (крест). Несовместимыми состояниями будут состояния (s₂ и s₄).

Эта процедура проводится для всех клеток, отмеченных крестом, и заканчивается тогда, когда таких клеток не остаётся. В этом случае клетки без крестов соответствуют совместимым парам состояний, а клетки с крестами – несовместимым.

В результате исключения несовместимых состояний получим треугольную матрицу совместимых состояний.

После применения этой процедуры к треугольной таблице рассматриваемого примера, получаем следующий результат:

пары состояний (1, 2), (1, 4) , (2, 3), (3, 4), (3, 5), (4, 5) совместимы;

пары состояний (1,3), (1, 5), (2, 4), (2, 5) не совместимы.

Будем говорить, что множество полученных состояний В (В  А) совместимо с состоянием s_m  A (обозначение s_m ~В), если s_m ~ s_n для любого s_n  В.