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



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