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

نسخه‌ی کامل: این زبان مستقله؟xww^Rv
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام
آیا این زبان مستقل از متنه ؟ اگه هست قطعیه یا غیرقطعی؟
[tex]L= \left \{ xww^{R}y | x,y,w\in \left \{ a,b \right \}^ ,|x|\geqslant |y| \right \}[/tex]
سلام. مستقل از متن غیر قطعیه. اگه شرط x و y برعکس بود قطعی میشد.
(15 دى 1392 03:01 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مستقل از متن غیر قطعیه. اگه شرط x و y برعکس بود قطعی میشد.
ممنون. ولی اینکه برعکس باشه چه جوری میشه قطعی. خیلی عجیب شد. وسط رشته ww را چه جوری میشه تشخیص داد و چه جوری میشه x را از w تشخیص داد؟ Huh

اگه میشه بگید چیزی که من از این زبان تو ذهنمه درسته یا نه . یعنی این زبان میشه یه همچین چیزی؟
xaay یا xbby که x و y هم سیگما پلاس باشند و طول x بزرگتر از y باشه
(15 دى 1392 03:01 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مستقل از متن غیر قطعیه. اگه شرط x و y برعکس بود قطعی میشد.
شما که دارید زحمت می کشید جواب می دید
خوب ی کوچلو بیشتر توضیح بدیدSleepy
چطوری اگر وای بزرگتر بود مستقل قطعی می شد؟
(15 دى 1392 09:24 ب.ظ)ایزدی نوشته شده توسط: [ -> ]
(15 دى 1392 03:01 ب.ظ)Jooybari نوشته شده توسط: [ -> ]سلام. مستقل از متن غیر قطعیه. اگه شرط x و y برعکس بود قطعی میشد.
شما که دارید زحمت می کشید جواب می دید
خوب ی کوچلو بیشتر توضیح بدیدSleepy
چطوری اگر وای بزرگتر بود مستقل قطعی می شد؟

اگه x بزرگتر از y باشه تعداد حروف رو تا اولین جفت حرفی که دیدیم میفرستیم تو پشته. بعد از اون جفت حرف به ازای هر حرف یکی از پشته میکشیم. اگه قبل از تموم شدن رشته، پشته خالی بشه به حالت نهایی میریم.
ولی برای این زبان که شما نوشتید باید آخرین جفت رو پیدا کرد که قطعی نیست.
(15 دى 1392 10:47 ب.ظ)Jooybari نوشته شده توسط: [ -> ]اگه x بزرگتر از y باشه تعداد حروف رو تا اولین جفت حرفی که دیدیم میفرستیم تو پشته. بعد از اون جفت حرف به ازای هر حرف یکی از پشته میکشیم. اگه قبل از تموم شدن رشته، پشته خالی بشه به حالت نهایی میریم.
ولی برای این زبان که شما نوشتید باید آخرین جفت رو پیدا کرد که قطعی نیست.
شرمنده من متوجه نشدم.

اگه x بزرگتر از y باشه ، برای X هر حرفی که دیدیم وارد پشته میکنیم تا به aa یا bb برسیم. بعد از اون برای هر حرف y یکی از پشته برمیداریم. وقتی به آخر رشته برسیم و هنوز تو پشته چیزی باشه زبان قبول میشه دیگه چون x بزرگتر از y شده

اگر y بزرگتر از x باشه همون بالایی را میریم تا به پشته خالی برسیم و رشته قبول بشه

یعنی شما میگی قطعی بودن ماشین باید با پشته خالی باشه؟ نمیشه با رفتن به حالت پایانی قطعی اش کرد؟
اون آخرین جفتی که گفتید، پیدا کردنش چه دلیلی داره وقتی اولین جفت را پیدا کردیم؟ این قسمت را گیج شدم
(15 دى 1392 10:58 ب.ظ)masoud67 نوشته شده توسط: [ -> ]
(15 دى 1392 10:47 ب.ظ)Jooybari نوشته شده توسط: [ -> ]اگه x بزرگتر از y باشه تعداد حروف رو تا اولین جفت حرفی که دیدیم میفرستیم تو پشته. بعد از اون جفت حرف به ازای هر حرف یکی از پشته میکشیم. اگه قبل از تموم شدن رشته، پشته خالی بشه به حالت نهایی میریم.
ولی برای این زبان که شما نوشتید باید آخرین جفت رو پیدا کرد که قطعی نیست.
شرمنده من متوجه نشدم.

اگه x بزرگتر از y باشه ، برای X هر حرفی که دیدیم وارد پشته میکنیم تا به aa یا bb برسیم. بعد از اون برای هر حرف y یکی از پشته برمیداریم. وقتی به آخر رشته برسیم و هنوز تو پشته چیزی باشه زبان قبول میشه دیگه چون x بزرگتر از y شده

اگر y بزرگتر از x باشه همون بالایی را میریم تا به پشته خالی برسیم و رشته قبول بشه

یعنی شما میگی قطعی بودن ماشین باید با پشته خالی باشه؟ نمیشه با رفتن به حالت پایانی قطعی اش کرد؟
اون آخرین جفتی که گفتید، پیدا کردنش چه دلیلی داره وقتی اولین جفت را پیدا کردیم؟ این قسمت را گیج شدم

فرمایش شما درسته. وقتی پشته خالی نشده باشه به حالت پایانی میریم. در واقع اگه پشته خالی بشه به تله میریم.

رشته abbaab رو درنظر بگیرید. این رشته باید پذیرش بشه. ولی اگه آخرین جفت رو پیدا نکنید این رشته رو قبول نمیکنید.
(15 دى 1392 11:21 ب.ظ)Jooybari نوشته شده توسط: [ -> ]فرمایش شما درسته. وقتی پشته خالی نشده باشه به حالت پایانی میریم. در واقع اگه پشته خالی بشه به تله میریم.
رشته abbaab رو درنظر بگیرید. این رشته باید پذیرش بشه. ولی اگه آخرین جفت رو پیدا نکنید این رشته رو قبول نمیکنید.
دم شما گرم. خیلی بحث خفن بود نتونستم درک کنم. خیلی با این سوال حال کردم. بدجور مفهومی بود.
ولی بالاخره کشفش کردم.
وقتی x قراره کوچیکتر از y باشه ما با پیدا کردن اولین جفت میتونیم به هدفمون برسیم ولی وقتی x باید بزرگتر از y باشه ممکنه اولین جفتی که پیدا میکنیم جوری بشه که x بر خلاف چیزی که میخواهیم بزرگتر از y نشه و واس همین ما باید دنبال آخرین جفت بگردیم که مثال شما همه حقایق رو روشن کرد abbaab
افرین اقای جویباری

ماشین قطعیش به ذهنم نمی رسید
ماشالله شما خیلی جلو هستی هاSleepy
لینک مرجع