n> 1 = Y * 1 , X ** 2 = X * 2 .
Побудуємо, якщо це можливо, процес P 3 = 3 , F 3 , I < span align = "justify"> 3 , R 3 >, ситуації якого представіми у вигляді пар s 3 = (s 1 , s 2 ), такий, що:
1) s 1 ГЋ S 1 (Y * 1 ), s 2 ГЋ S 2 (X * 2 ), тобто S 3 ГЌ S 1 (Y * 1 ) ' S 2 < span align = "justify"> (X * 2 );
2) вихідна компонента y 1 ситуації s 1 дорівнює вхідний компоненті x 2 ситуації s 2 (y 1 = x 2 );
) якщо в S 3 компонента s 2 ГЋ I 2 (X * 2 ), то s
