9.13. Нормализованный вид ВС

Пусть для некоторой ВС vs задан набор из n фильтров - троек, образованных:

• ключом ki (одного селектора для всех фильтров)
• базисом bi, который не шире, чем базис |vs| (сумма таких базисов b1+..+bn = b - совпадает с базисом самой vs)
• уникальным именем получаемой ВС с указанием на имя исходной

• каждое состояние s◎ такой vs имеет проекцию на один из указанных базисов bi в виде состояния s⚪
• ключ ki соответствующего фильтра, в свою очередь, оказывается проекцией такого s⚪:
  ki = s⚪ | bi

В этом случае vs с дополнением из указанных фильтров называется приведённой к нормализованному виду, а проекции vs на указанные базисы - её канальными проекциями

Так определённому нормализованному виду соответствуют операции нормализации в описании системы, но ничего в собственно автомате мгновенного действия, а необходим он для определения операции матричного (канального) соединения ВС.

Назад Вперёд