18.9. Канал ЛИБО-фрейма

Пусть имеется ЛИБО-фрейм и путь от некоторого его листа до его корня.

Тогда каналом на этом пути называется цепочка таких множеств состояний из ВС, сопряжённых с вершинами этого пути, которые связаны отношением порождения друг друга.

Ключи такого канала - это ЛИБО- и И-ключи соответствующих ЛИБО- и И-ЛИБО ячеек.

Назад Вперёд