Конец алгоритма. Алгоритм PREZ. Формирование множества внешних замыканий

Алгоритм PREZ. Формирование множества внешних замыканий.

1. Сформируем множество из номеров нулевых строк матрицы St: ZS:={i₁,..., i_q}. Положим VT:= Ø, VF:=Ø..

2.Для всех элементов построим множество ED_p номе­ров строк, содержащих единичные элементы в i_p столбцах.

3.Исключим из множества ED_p, р = 1,..., q элементы, равные номеру рассматриваемою логического оператора k. Перенумеруем множества ED_P, учитывая удаленные элементы. Получим множе­ства ED_u, и = 1,...,f, f< q. Если все ED_u = 0, то VT:= Ø, VF:=Ø.

4. Вычислим множества VT где МT и MF — множества операторов для текущего вложенного оператора. Конец алгоритма.