با سلام ببیند دوست عزیز این سوال اصولی غلط هست (یه جورای ابهام داره) سوال میگه هر رشته ای به طول فرد که دقیقا ۲ تا b داشته باشن دقت کنید داره ۲ تا شرط میگه و and میکنه هم هر رشته ای به طول فرد و هم دقیقا ۲ تا b
اما این طراح محترم خیلی خواب بودن یا تو چه حالی بودن
وقتی میگیم هر رشته ای به طول فرد یعنی هر رشته ای حالا نگاه کنید
عبارت منظم یک حداقل طول رشته اش ۵ و طولش فرد پس bab تولید نمیکنه در حالی که تو شرط مساله صدق میکنه هم فرد طولش هم ۲ تا b داره پس گزینه های که یک دارن غلطه (همین رشته برای رد عبارت منظم ۳ هم درسته)
(عبارت منظم ۴ هم ایا رشته abb تولید میشه؟ خیر)
اما گزینه ۲ که نوشته ۲و۳
اگر نگاه کنید همین مثال دوست عزیزمون اقا میلاد bba ایا توسط عبارت منظم دو یا ۳ تولید میشه؟ خیر پس اینم نقض میشه پس نتیجه اینکه اصولی همه اشون غلط هستن و میفهمم اقای محترم طراح منظورشون یه چی دیگه است چیه؟ فقط گفته کدام یک از عبارت های منظم زیر رشته های که تولید می کنن طولشون فرد هست و تعداد b ها دقیقا ۲تاست
و با این استدلال که عبارت منظم هر ۴تاش قسمت های aa بستار پیدا میکنن و تعداد اجباری b دقیقا ۲تاست و هیچ وقت تغییر نمی کنه پس رشته های که تولید می کنن طول فرد دارن و دقیقا ۲ تا b دارن نه که تمام رشته های به طول فرد که دقیقا ۲ تا b دارن (به قید تمام دقت کنید)
پس با این استدلال میشه گزینه ۴
اما اصولیش این جمله ای که نوشته همه غلطه
(این جمله که همه اشون با هم اجتماع کنیم هم همون مفهمومی که توضیح دادم یعنی به تنهای هر عبارت منظم غلطه اجتماعشون با هم درست میشه)
حالا هم با هم دعوا نکنید