ify"> Визначимо безліч R (X *).
R = {s 3 , s 8 span> , s 9 }, (X *) = {s 1 , s 2 , s 4 , s 5 , s 6 , s 7 } Гћ = R Г‡ S (X *) = Г† .
Висновки щодо виконання операції редукції
Суть операції редукції полягає у зведенні даного асинхронного процесу до простішого. Така операція необхідна тоді, коли з повного опису процесу необхідно виділити деяку його частину, розгляд якої цікаво з тих чи інших причин. p align="justify"> Отриманий в результаті редукції асинхронний процес описує частина фізичного процесу друку одного аркуша на струменевому принтері, для якої характерна наявність даних для друку в пам'яті принтера і наявність чорнила, тому що в якості вхідної компоненти були обрані значення компонент M = 1 і I = 1.
Композиція
Визначення приведеного асинхронного процесу
Наведеним асинхронним процесом називається процес P П = П , F П span> , I П , R П > такий, що S П = S Г€ S Д , F П = F Г€ (F ' (F' Г‡ (S ' ' I))), I П ГЌ I, R П = R span> Г€ S Д . <...