سلام
میشه خوب توضیح بدید:
برای کدامیک از گروه های زبان زیر DPA قطعی کهدر حالت خالی شدن استک میپذیرد وجود دارد؟
۱/ تمام زبان های مستقل از متن قطعی
۲/ تمام زبان های منظم محدود
۳/تمام زبان های مستقل از متنی که هیچ رشته ای از زبان پیشوند رشته دیگر از زبان نباشد
۴/تمام زبان های منظمی که هیچ رشته ای از زبان پیشوند رشته دیگر از زبان نباشد
جوابش گزینه ۳ میشه حالا چرا ش اینکه شما بیا واسه خودت نمودار حالت یه دی پی دی آ رو بکش اولا لاندا اگر بهمراه رشته های دیگه باشه قبول نمیشه چونکه وقتی میخایم لاندارو در حالت خالی شدن پشته بپذیریم حالت استارت ک فاینال نمیشه چون استک توش زد رو داره مجبوری از حالت استارت با لاندا بری فاینال و زد رو برداریو خالی کنی بعد خب حرف اول رشته ی دیگه رو باید از همینجا بخونی ک اینجا حالت دیترمینیستیک بودن نقض میشه شما هم با لاندا خارج شدی رو پشته زد هس هم با یه حرف دیگه!خب این از لاندا ک پیشوند تمام رشته ها هست حالا اگر لاندا هم نباشه و پیشوندهای دیگه ی رشته های دیگ رو هم بگیری میفهمی ک در هر صورت دیترمینیستیک بودن تو یه استیتی نقض میشه