19.11. Алгоритм построения ЛИБО-фрейма

Пусть даны:

• согласованная системы ВС
• её ЛИБО-фрейм

  <FRAME, {s1} .. {sM}> = FRAME⋓, построенный на фрейме FRAME

В В теореме 10.5 представлен алгоритм построения фрейма FRAME как суммы ряда ячеек, для каждой из которых определённость листьев влечет определённость корня.

Дополнив определённость листьев определённостью множеств состояний из сопряженных с ними ВС, получаем последовательность построения ЛИБО-фрейма.█

Назад Вперёд