pan align="justify"> 1 (Y * 1 ) ' R 2 (X * 2 )) Г‡ span> S 3 .
Побудова композиції
1. Визначаємо безлічі Y * 1 і X * 2 .
1.1. Y 1 = {0, 1} Гћ Y * 1 = {0, 1}.
1.2. X 2 = {0, 1} Гћ X * 2 = {0, 1}.
2. Будуємо редукції P 1 (Y * 1 ) і P 2 (X * 2 ).
.1 Редукція P 1 (Y * span> 1 ) процесу P 1 : Y * 1 = Y 1 Гћ P 1 < span align = "justify"> (Y * 1 ) = P 1 Гћ S 1 (Y * 1 ) = S < span align = "justify"> 1 , F 1 (Y * 1 ) = F 1 , I 1 (Y * 1 ) = I