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

سلام

میشه خوب توضیح بدید:

برای کدامیک از گروه های زبان زیر DPA قطعی کهدر حالت خالی شدن استک میپذیرد وجود دارد؟
1. تمام زبان های مستقل از متن قطعی
2. تمام زبان های منظم محدود
3.تمام زبان های مستقل از متنی که هیچ رشته ای از زبان پیشوند رشته دیگر از زبان نباشد
4.تمام زبان های منظمی که هیچ رشته ای از زبان پیشوند رشته دیگر از زبان نباشد

جوابش گزینه 3 میشه حالا چرا ش اینکه شما بیا واسه خودت نمودار حالت یه دی پی دی آ رو بکش اولا لاندا اگر بهمراه رشته های دیگه باشه قبول نمیشه چونکه وقتی میخایم لاندارو در حالت خالی شدن پشته بپذیریم حالت استارت ک فاینال نمیشه چون استک توش زد رو داره مجبوری از حالت استارت با لاندا بری فاینال و زد رو برداریو خالی کنی بعد خب حرف اول رشته ی دیگه رو باید از همینجا بخونی ک اینجا حالت دیترمینیستیک بودن نقض میشه شما هم با لاندا خارج شدی رو پشته زد هس هم با یه حرف دیگه!خب این از لاندا ک پیشوند تمام رشته ها هست حالا اگر لاندا هم نباشه و پیشوندهای دیگه ی رشته های دیگ رو هم بگیری میفهمی ک در هر صورت دیترمینیستیک بودن تو یه استیتی نقض میشه