9.11. Разделение
Пусть для некоторой ВС vs задан её делитель, состоящий из набора ключей k1 .. kM, каждый из которых образован парой:
- бородкой - таким состоянием si (i=1..M), проекциея на который исходной vs образует отделённую ВС vsi
- абстрактного(!) указателя на уникальный канал, к которому приписывается так полученная отделённая ВС
при условии, что
- множества состояний этих vs1 .. vsM не пересекаются, а
- их объединение образует саму vs (в ней отсутствуют состояния, не принадрежащие никакому каналу)
В этом случае vs, дополненная так определённым делителем, называется приведённой к разделённому виду (она, тем самым, разделена на отделённые ВС).
Этого вполне достаточно, чтобы ввести определение матричного соединения, поскольку и там каналы являются абстрактными.
Но, чтобы приблизиться к практической реализации, приходится использовать привычные сущности - переменные и значения, то есть, канальные переменные и индексы каналов
В этом случае делителю будет соответствовать канальный фильтр, используемый далее при определении канального соединения ВС и, собственно, согласованной системы ВС
