орінок.
4. Редукція
Визначення редукції
Нехай заданий неприведення АП P = , безліч ситуацій якого представимо впорядкованої трійкою S = (X, Y, Z), де X, Y і Z - відповідно безлічі значень (символів) вхідний компоненти, вихідний компоненти та компоненти, не є ні вхідний ні вихідний.
Утворюємо p-блочне розбиття p безлічі S ситуацій процесу P, в ситуаціях кожного блоку якого вхідна компонента приймає фіксоване значення x j , 1 ВЈ j ВЈ p. Виберемо r
ГЊ X). Ситуації, що входять в ті блоки розбиття p , які відповідають обраним значенням вхідний компоненти, складають подмноже ство S *, S * ГЊ S.
Для кожного ініціатора s i ГЊ I побудуємо безліч ситуацій S (s i ), що зустрічаються на траєкторіях процесу P, що ведуть з зазначеного ініціатора. Утворюємо безліч S (X *) як об'єднання тих множин S (s i ), для яких справедливо S (s i ) ГЌ S * , тобто
.
Побудуємо також F (X *) = F Г‡ (S (X *) 'S (X *)), I (X *) = I Г‡ S (X *), R (X *) = R Г‡ S (X *). Назвемо процес P (X *) = , редукцією неприведення процесу P = < S, F, I, R> по обраному безлічі X * значень вхідної компоненти.
Процес P
Розглянемо процес P = з В§ 1, ставлення безпосереднього проходження якого:
В
Нехай ситуації цього процесу структуровані з виділенням вхідний компоненти. Уявімо його більш наочно (кольором виділена вхідна компонента x, ініціатори та результанти позначені символами i і r відповідно):
В
Порядок виконання редукції
Визначимо порядок дій, які необхідно виконати для отримання редукції процесу P.
. Визначити безліч X * вхідних компонент, за якими проводиться редукція.
2. Визначити безліч S * ситуацій, відповідних...
