تالار گفتمان مانشت

سلام
آیا اجرای زیر توسط c2pl و B2pl قابل تولید است؟ چرا؟


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


ممنون

کسی جواب سوالو بلد نیست؟

بله دوست عزیز

با استفاده از B2Pl
X2(x)w2(x)S1(x)S2(y)R2(y)U2(x,y)R1(x)U1(x).
با استفاده از
در این روش می بایست قفل ها را یکجا زد C2PL
X2(x) S1(x)S2(y) w2(x)R2(y)U2(x,y)R1(x)U1(x).

اینکه حلقه داره که اول باید چک کنی ببینی پی در پی پذیر بعد بیای چک کنی موارد دیگه رو