9.16. Матричное (канальное) соединение ВС
В качестве более сложного метода, взятого из "реального программирования" и в своих крайних, вырожденных случаях совпадающего с суммой или с произведением ВС, является матричное (канальное) соединение, для которого заданы:
- коммутатор com с M ключами, называемый также общим селектором
-
N <= M
ВС
VS1
...
VSN
в
нормализованном виде
(N - количество
общих сомножителей) таких, что:
- базисы их селекторов совпадают с базисом коммутатора
- объединение их ключей равно множеству ключей коммутатора
- нормализованный вид любой i-ой VSi представлен её Mi канальными проекциями VSi1 ... VSiMi
- для j-ого канала указанные канальные проекции VSij играют роль канальных сомножителей при их произведении с получением канальных ВС VSj
- так полученные M канальных ВС играют роль слагаемых, чья сумма как раз и образует VS
Итак, к j-ому каналу относятся:
- kj - ключ коммутатора, идентифицирующий этот канал, а также совпадающие с ним ключи некоторых (не обязательно всех) нормализованных ВС VS1 ... VSN (сомножителей)
- VS1j ... VSNj – канальные сомножители, полученные из сомножителей VS1 ... VSN при нормализации и относящиеся к kj-ому ключу
- VSj - канальная ВС, получаемая в результате произведения указанных канальных сомножителей VS1j ... VSNj
Сами канальные ВС как суммойслагаемые объединяются суммой в результирующую VS
Линейная запись может выглядеть так:
VS = (VS1 ⠶ ... ⠶ VSN)k1, … ,kM = ▦com(VSij)
В отличие от объединений типа суммы и произведения, данный тип порождает в общем случае оба вида отношений между состояниями: как И, так и ЛИБО.
В таком случае ВС vs1 .. vsN являются И-ЛИБО-связанными на коммутаторе com.
В динамике данному типу соединения соответствует блок типа И, поскольку выбор канала происходит неявно уже на следующем уровне иерархии объединения изучаемых здесь автоматов мгновенного действия.