12. Каркасы

12.1. Каркас

Каркас SKEL - это четвёрка <T, SH, COM, SEL>, где:

T	дерево разбиения	дерево, образованное обычным образом из дуг и вершин, в число которых входят листья, корень и узлы; при этом узлы и корень имеют тип И, тип ЛИБО или тип И-ЛИБО (размечены)
SH	унаследованные ключи	множества состояний (ключи), имеющие взаимно-однозначное соответствие (сопряжённые) с вершинами дерева разбиения T
COM	коммутаторы	множество коммутаторов канальных соединений, имеющих взаимно-однозначное соответствие с узлами И-ЛИБО дерева разбиения T
SEL	селекторы	множество селекторов сумм, имеющих взаимно-однозначное соответствие с узлами ЛИБО дерева разбиения T так, что между каналами, определяемыми ключами, и выходящими из узла дугами установлено взаимно-однозначное соответствие

█

Назад Вперёд