سلام
در مورد گزینه دوم توضیح می خواستم:
[attachment=17980]
با سلام گزینه یک که تابلو غلطه dpda می تونه انتقال لاندا داشته باشه
گزینه دو هم غلطه دلیل نمیشه اگر با لاندا انتقال نداشتیم حتما قطعی باشه ممکنه ماشین با یک ورودی و یک عنصر بالای پشته به دو حالت مختلف بره پس ماشین دچار عدم قطعیت میشه
گزینه چهارم هم که غلطه چون گفته هر رشته ای بگیریم از یک مقدار محدودی از پشته استفاده می کنه اگر پشته محدود باشه فقط زبان های منظم می پذیره اما همه ی مستقل از متن های قطعی که منظم و محدود نیستن پس اینم غلطه
گزینه ۳ هم حتی من میگم غلطه ما میگیم هر زبان مستقل از متنی که رشته لاندا را شامل نشه میشه حداقل با دو حالت و حداکثر با ۳ حالت براش pda کشید اینو شک دارم ولی ۳ تا گزینه دیگه واضح هست که غلطه
موفق باشید.
درباره گزینه سوم:
هر زبان مستقل از متن گرامر به فرم گریباخ دارد (در زبان هایی که لاندا دارند برای تمام شته ها به جز لاندا گرامر به فرم گریباخ ارائه می دهیم سپس قانون S-->lambda را به گرامر اضافه می کنیم) داشته باشیم
سپس از روی فرم گریباخ آن می توان Pda با تنها یک حالت و پذیرش در حالت خالی شدن پشته رسم کرد . این Pda در زبان هایی که حداقل دو رشته در زبان موجودند که یکی زیر مجموعه ی دیگری است ، حتما غیر قطعی خواهد بود.