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

نسخه‌ی کامل: مسئله اول مبحث نهم
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
به نظر من هر 2 تاش هم مستقل از متنه
کلید سنجش هم میگه گزینه 2
گزینه 2 درست است.
هردو مستقل از متن غیرقطعی هستند.
آخه چرا مستقل از متن هستند ؟>
به نظر من برای هیچ کدومشون نمیشه PDA (آتاماتای پشته ای )تعریف کرد. مگه با استفاد از یک پشته می شه اون شرط ها رو بررسی کرد ؟
اگه میشه لطفا بگید ببینیم چطوری؟
همینطوری ننویسید اثباتشم بیارید تا بقیه هم نظر بدن
سلام. زبان اول:

[tex]S\to aSa|bSb|T[/tex]
[tex]T\to aUb|bUa[/tex]
[tex]U\to aUa|aUb|bUa|bUb|\lambda[/tex]

زبان دوم:

[tex]S\to aSb|T[/tex]
[tex]T\to aTa|bTb|\lambda[/tex]
لینک مرجع