13.2. Согласованная система ВС

Система ВС

SVS = <T, SH, COM, SEL, VS>

называется согласованной (корректной), если:

1. существуют произведение состояний каждой (системообразующей) ВС на множество унаследованных ключей соответствующей вершины
2. для каждого узла nd0 сопряжённая с ним узловая ВС vs0 и множество системообразующих ВС vs1 .. vsN, сопряжённых с непосредственно подчинёнными вершинами nd1 .. ndN связаны следующими отношениями:
   1. если узел nd0 имеет тип И и ему соответствует коммутатор com из COM, то сопряжённая с ним ВС vs0 является произведением ВС vs1 .. vsN с коммутатором com

      vs0 = ∏com(vsi), (i = 1..N)

      

   2. если узел nd0 имеет тип ЛИБО с селектором sel из SEL, то ВС vs0, сопряжённая с nd0, является суммой vs1 .. vsN с селектором sel

      vs0 = ∑sel(vsi), (i = 1..N)

      

█

Замечание 13.1

Простейшая система из единственной ВС считается согласованной (корректной).

Её дерево сборки при этом должно

█

Формула согласованной системы - просто формула системы при условии, что сама такая система является согласованной.

Такая формула непосредственно описывает конструкцию автомата мгновенного действия.

Назад Вперёд