تالار گفتمان مانشت
تشخیص مستقل از متن بودن - نسخه‌ی قابل چاپ

تشخیص مستقل از متن بودن - hosshah - 21 بهمن ۱۳۹۲ ۱۰:۲۲ ب.ظ

سلام سال ۸۹ این زبان اومده و مستقل از متن اعلام شده
شاید میخواد بگه [tex]WW^r[/tex] رو لاندا فرض کنیم و رشته رو همون [tex]a^nb^n[/tex] . البته اینا همه فرضیات منه و شاد اشتباه
حالا من میگم رشته aaa abba bbb رو زبان اصلی میتونه بپذیره ولی این زبان جدید نه
و اما زبان:
[tex]a^nWW^Rb^n:\: W\in(a b)^{star}[/tex]

RE: تشخیص مستقل از متن بودن - masoud67 - 21 بهمن ۱۳۹۲ ۱۰:۴۵ ب.ظ

(۲۱ بهمن ۱۳۹۲ ۱۰:۲۲ ب.ظ)hosshah نوشته شده توسط:  سلام سال ۸۹ این زبان اومده و مستقل از متن اعلام شده
شاید میخواد بگه [tex]WW^r[/tex] رو لاندا فرض کنیم و رشته رو همون [tex]a^nb^n[/tex] . البته اینا همه فرضیات منه و شاد اشتباه
حالا من میگم رشته aaa abba bbb رو زبان اصلی میتونه بپذیره ولی این زبان جدید نه
و اما زبان:
[tex]a^nWW^Rb^n:\: W\in(a b)^{star}[/tex]
الان سوال چیه؟ Big Grin
زبان جدیده کدومه؟ قدیمیه کدومه؟ اصلی کدومه؟ ۸۹ کدومه؟ Big Grin

RE: تشخیص مستقل از متن بودن - hosshah - 21 بهمن ۱۳۹۲ ۱۰:۴۸ ب.ظ

(۲۱ بهمن ۱۳۹۲ ۱۰:۴۵ ب.ظ)masoud67 نوشته شده توسط:  لان سوال چیه؟ Big Grin
زبان جدیده کدومه؟ قدیمیه کدومه؟ اصلی کدومه؟ ۸۹ کدومه؟ Big Grin

Big Grin
اون بالایی ها رو ول کن توضیحات خودمه
اون زبون پایینیه مستقل از متنه؟ اگه آره چرا؟ تشکر Wink

RE: تشخیص مستقل از متن بودن - fulgent - 21 بهمن ۱۳۹۲ ۱۰:۵۵ ب.ظ

بله مستقل از متنه.
به ازا هر a یک علامت در پشته پوش می کنیم مثلا x.
به طور غیر قطعی وقتی رسیدیم به ابتدای w تک تک حرفهای رشته w رو در رشته کامل پوش می کنیم ...تا به طور غیرقطعی به اینروس w برسیم خب حالا به ازای هر حرف یک حرف از پشته پاپ می کنیم.
تا باز به طور غیرقطعی به B^n ها برسیم (وقتی به اول B^n می رسیم توی پشته چی مونده؟ فقط x) حالا به ازا هر b یک x از رشته پاپ می کنیم و رشته پذیرفته میشه.

RE: تشخیص مستقل از متن بودن - masoud67 - 21 بهمن ۱۳۹۲ ۱۰:۵۵ ب.ظ

(۲۱ بهمن ۱۳۹۲ ۱۰:۴۸ ب.ظ)hosshah نوشته شده توسط:  
(21 بهمن ۱۳۹۲ ۱۰:۴۵ ب.ظ)masoud67 نوشته شده توسط:  لان سوال چیه؟ Big Grin
زبان جدیده کدومه؟ قدیمیه کدومه؟ اصلی کدومه؟ ۸۹ کدومه؟ Big Grin

Big Grin
اون بالایی ها رو ول کن توضیحات خودمه
اون زبون پایینیه مستقل از متنه؟ اگه آره چرا؟ تشکر Wink
مردشور این فرمول نویسی را ببرن که بعضی وقتها درست نشون میده و بعضی وقتها قاط میزنه
زبان مستقل از متنه. چرا نداره. اول یه سری a میریزی تو پشته و بعد شروع میکنی w ریختن تو پشته و بعد W را از پشته برمیداری و دست آخر به ازای b ها ، هرچی a ته پشته مونده برمیداری و اگه دست آخر پشته خالی بود رشته پذیرفته . البته بعضی مراحل بالا به صورت غیرقطعی صورت میگیره

RE: تشخیص مستقل از متن بودن - hosshah - 21 بهمن ۱۳۹۲ ۱۰:۵۹ ب.ظ

(۲۱ بهمن ۱۳۹۲ ۱۰:۵۵ ب.ظ)fulgent نوشته شده توسط:  بله مستقل از متنه.
به ازا هر a یک علامت در پشته پوش می کنیم مثلا x.
به طور غیر قطعی وقتی رسیدیم به ابتدای w تک تک حرفهای رشته w رو در رشته کامل پوش می کنیم ...تا به طور غیرقطعی به اینروس w برسیم خب حالا به ازای هر حرف یک حرف از پشته پاپ می کنیم.
تا باز به طور غیرقطعی به B^n ها برسیم (وقتی به اول B^n می رسیم توی پشته چی مونده؟ فقط x) حالا به ازا هر b یک x از رشته پاپ می کنیم و رشته پذیرفته میشه.

بله خیلی ممنون لطف کردین

(۲۱ بهمن ۱۳۹۲ ۱۰:۵۵ ب.ظ)masoud67 نوشته شده توسط:  مردشور این فرمول نویسی را ببرن که بعضی وقتها درست نشون میده و بعضی وقتها قاط میزنه
زبان مستقل از متنه. چرا نداره. اول یه سری a میریزی تو پشته و بعد شروع میکنی w ریختن تو پشته و بعد W را از پشته برمیداری و دست آخر به ازای b ها ، هرچی a ته پشته مونده برمیداری و اگه دست آخر پشته خالی بود رشته پذیرفته . البته بعضی مراحل بالا به صورت غیرقطعی صورت میگیره

Big Grin
بله اشتباه از من بود تشکر