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

سلام وقت بخیر
این زبان ببینید
گراف dfa این زبان چه شکلیست

رشته ای این زبان حداقل سه a در خودشان دارند به علاوه با a شروع می شوند و با a خاتمه می یابند dfa آن به صورت زیر است

بفرمایید.

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

(03 مرداد 1393 12:01 ق.ظ)s_t_6 نوشته شده توسط: [ -> ]تشکر
اگه یه جواب سومی هم بیاد که بشه به اجماع رسید عالی میشه
پس قاعدتا هر چی باشه این نیست ؟ درسته ؟
لطفا عکس ببینید
تشکر

شما می تونید در موارد این چنینی که ممکنه کشیدن یکباره ی dfa کمی سخت باشه، ابتدا nfa رو بکشید بعد یه تبدیل ساده اعمال کنید. اینطوری مطمعن هم میشید که همه ی حالت ها پوشش داده شده.
این dfa که نشون دادید به خاطر اینکه با یک a می تونه به حالت پایانی بره، بدیهی است که اشتباه است.

DFA آقای azad_ahmadi درست هست فقط یه حالت trap هم به state شروع اضافه کنید تا حالت شروع هم به ازای همه ی الفبای زبان حرکت داشته باشه ، یعنی اینجوری
[attachment=16437]

شکلی که خودتون گذاشتید اشتباه هست ،مثال نقض میزنم
چون [tex]W_1,W_2\in\{a,b\}^{\ast}[/tex] یعنی هر ترکیبی از صفر یا بیشتر a و b پس W1 و W2 می تونن [tex]\lambda[/tex] هم باشن ، اگه ما W1 و W2 رو [tex]\lambda[/tex] بذاریم ، در این صورت رشته ما میشه aaa ، ایا این رشته رو ماشین پذیرش میکند؟ خواهید دید که ماشین در حالت q4 که یک حالت فاینال نیست متوقف میشود