[attachment=1318]
به نظر من هر ۲ تاش هم مستقل از متنه
کلید سنجش هم میگه گزینه ۲
گزینه ۲ درست است.
هردو مستقل از متن غیرقطعی هستند.
آخه چرا مستقل از متن هستند ؟>
به نظر من برای هیچ کدومشون نمیشه PDA (آتاماتای پشته ای )تعریف کرد. مگه با استفاد از یک پشته می شه اون شرط ها رو بررسی کرد ؟
اگه میشه لطفا بگید ببینیم چطوری؟
همینطوری ننویسید اثباتشم بیارید تا بقیه هم نظر بدن
سلام. زبان اول:
[tex]S\to aSa|bSb|T[/tex]
[tex]T\to aUb|bUa[/tex]
[tex]U\to aUa|aUb|bUa|bUb|\lambda[/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]
[tex]T\to aTa|bTb|\lambda[/tex]