9.13. Канальный фильтр
Канальный фильтр - это, по сути, делитель, у которого вместо абстрактных указателей на каналы используются некоторая канальная переменная v, а также её уникальные значения z1 .. zM, называемые индексами соответствующих каналов
При этом вместо отделённых ВС vs1 .. vsM получаются канальные ВС vsi * (v=zi) (i=1..M), у которых состояния дополняюся атомом, образованным из канальной переменной и некоторого уникального индекса канала
Разделённому виду ВС в этом случае соответствует её приведённый вид, в котором исходная ВС превращена в более сложную, где место отделённой ВС занимает канальная ВС
