Алгоритм построения матрицы логической несовместимости операторов

S – матрица следования; RS – размерность матрицы S; S_T – матрица с транзитивными связями; RST – размерность матрицы S_T; MLO – множество логических операторов; RMLO – размерность множества логических операторов. M – множество вершин операторов; MT_k – множество вершин операторов, включающим дугу Т k-го оператора; VF_k – множество вершин операторов, внешне замкнутых для k-го логического оператора связи F; MF_k – множество вершин операторов, включающим дугу F k-го оператора; RMT_k – размерность множества логических операторов ветви Т; RMF_k – размерность множества логических операторов ветви F; TF_k – множество вершин операторов, внутренне замкнутых для k-го логического оператора; VT_k – множество вершин операторов, внешне замкнутых для k-го логического оператора связи Т; MZ_k – объединенное множествовнешних и внутренних замыканий для k-го логического оператора.

Алгоритм PMLO. Получение множества логических операторов.

1. В матрице S размера RS выберем первый столбец (j: = 1), RMLO:= 0, MLO:= Ø.

2.Просмотрим j-й столбец по строкам и определим равенство текущего элемента матрицы jT или jF.

3.Если найден такой элемент, то положим .

4.Если j ≤ RS, то перейдем к шагу 2, иначе конец алгоритма.
Конец алгоритма.

Алгоритм PMTF. Получение множества МТ и MF k-то логиче­ского оператора

1.В соответствии со значением k выберем элемент множества . В -м столбце матрицы St просмотрим i-e строки. Положим i:= 1 (номер строки), l:= 1 (номер позиции в множестве МТ), m:= 1 (номер позиции в множестве MF).

2. Если элемент матрицы S_T(i, k)=jT, то MT[ l ]:= i, l=l + 1; осуществим переход к шагу 5.

3.Если S_T(i, k)=jF, то MF[m]:= i; m:=m + 1; выполним шаг 5.

4.Если условия пунктов 2 и 3 не выполняются, то осуществим переход к шагу 5.

5.Вычислим i:=i + 1. Если i > RST, то RMT:= l, RMF:=m и выполнение алгоритма заканчивается. Иначе осу­ществим переход к шагу 2.