11. Каркасы

11.1. Каркас

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

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

█

Назад Вперёд