سلام.
خیر به نظرم نمیتونه مستقل از متن باشه. در جواب آقا حمید میتونم بگم وقتی بطور غیر قطعی سعی در پیدا کردن وسط رشته داریم ممکنه به ازای یک حالت که وسط رو به اشتباه تشخیص دادیم رشته ای که جزء زبان نیست پذیرفته بشه. شاید زبان مستقل از متن باشه ولی این استدلال کافی نبود.

توجه کنید اگه شرط برابری طول دو رشته نبود زبان منظم و برابر سیکمااستار میشد.

با سلام بله دوست عزیز مستقل از متنه ولی غیر قطعی
داره میگه زبان رشته های تولید میکنه که از الحاق رشته اول با رشته دوم به دست میاد به طوری که رشته اول تعداد a هاش برابر باشه با تعداد b رشته دوم و در ادامه اش هم گفته طول دو تا رشته برابر هستش پس یعنی زبان رشته های به طول زوج تولید میکنه که می خوایم ببینم تعداد a های رشته اول با تعداد b های رشته دوم برابر باشه ماشین از رشته اول میاد هر چی a دید میریزه توی پشته به وسط رشته (وسط رشته را غیر قطعی مشخص میکنه ) که رسید به ازای هر b یه دونه a پاپ می کنه اگر به ته رشته رسیدیم و پشته خالی شد پذیرش میشه اگر نه پذیرش نمیشه
مستقل از متن غیر قطعی هستش موفق باشید.

(۱۴ بهمن ۱۳۹۳ ۰۹:۲۸ ب.ظ)Hamid_0311 نوشته شده توسط:  با سلام بله دوست عزیز مستقل از متنه ولی غیر قطعی
داره میگه زبان رشته های تولید میکنه که از الحاق رشته اول با رشته دوم به دست میاد به طوری که رشته اول تعداد a هاش برابر باشه با تعداد b رشته دوم و در ادامه اش هم گفته طول دو تا رشته برابر هستش پس یعنی زبان رشته های به طول زوج تولید میکنه که می خوایم ببینم تعداد a های رشته اول با تعداد b های رشته دوم برابر باشه ماشین از رشته اول میاد هر چی a دید میریزه توی پشته به وسط رشته (وسط رشته را غیر قطعی مشخص میکنه ) که رسید به ازای هر b یه دونه a پاپ می کنه اگر به ته رشته رسیدیم و پشته خالی شد پذیرش میشه اگر نه پذیرش نمیشه
مستقل از متن غیر قطعی هستش موفق باشید.

ممنون از پاسختون.
یه سوال؟الان این ماشین چطوری شرط برابری طول W1 و W2 رو چک میکنه؟