Лемма 18.11
Содержание (FireFox,Safari)

18.10. Лемма

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

Назад Вперёд
ru/en