19.10. Алгоритм построения И-фрейма

Пусть даны:

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

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

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

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

Назад Вперёд