تالار گفتمان مانشت
چند سوال ساده در مورد نظریه-بخش عبارات منظم - نسخه‌ی قابل چاپ

صفحه‌ها: ۱ ۲
چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 28 خرداد ۱۳۹۱ ۰۹:۳۲ ب.ظ

سلام.

از دوستانی که پاسخ سوالات زیر رو می دونند خواهشا راهنمایی نمایند چون این درس واقعا گیج کننده شده.

[تصویر:  103748_1_1379091841.jpg]

ممنونم.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - fatima1537 - 29 خرداد ۱۳۹۱ ۰۱:۳۵ ق.ظ

سئوال اول:
ترتیب اتصال به همون ترتیبی هست که در عبارت اومده و من منظور این سوال را دقیق نمیدونم . و رشته هایی تولید میشه که میتونه شامل ترکیبی از ۰۱ و ۱ ها باشه ، که چون بالای پرانتز * هست پس میتونه بینهایت رشته شامل محموعه ای از ۰۱ ها و ۱ ها را تولید کنه و بعد از اون میتونه یک حرف ۰ یا رشته پوچ قرار بگیره و بعد تعداد صفر یا بیشتر حرف ۱ (چون علامت کلین استار هست) و بعد هم میتونه حرف ۰ قرار بگیره یا رشته پوچ
برای سئوال دوم:
به نظر من معادل هم نیستند چون عبارت اول میتونه جمله ۰۰ را تولید کنه ولی عبارت دوم نمیتونه ۰۰ را تولید کنه
سئوال ۳:
اول به تعداد دلخواه حرف aیاbتولید میشه پس از اون حتماباید یک حرف b قرار بگیره و بعد هم به تعداد دلخواه حرف a یا ab میتونه قرار بگیره
متوجه منظور سئوال نمیشم

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Jooybari - 29 خرداد ۱۳۹۱ ۰۲:۱۲ ق.ظ

سلام. سوال ۱ و ۲ معادلن. رشته هایی که زیررشته ۰۰ ندارن رو میپذیرن.

[tex](1^*011^*)^*[/tex] رو درنظر بگیرید. میگه مجموعه چندتا(حداقل هیچی) ۰۱ که در فضاهای اطرافشون میتونه ۱ بیاد ولی اگه ۰۱ نداشته باشیم ۱ هم نداریم. یعنی رشته های [tex]\lambda[/tex] و [tex]1^*011^*[/tex] و [tex]1^*011^*011^*[/tex] و ... تفاوتی که این عبارت با [tex](1 01)^*[/tex] داره اینه که رشته اول نمیتونه زیررشته هایی که فقط از ۱ ساخته میشن رو تولید کنه. یعنی یا رشته نال رو تولید میکنه و یا رشته های بدون زیررشته ۰۰ که حداقل یک ۰ دارن. ولی عبارت دوم علاوه بر این دو حالت، میتونه رشته هایی که فقط از ۱ ساخته میشن رو هم تولید کنه. یعنی [tex](1 01)^*=((1^*011^*)^* 1^*)[/tex]. آخر هردو رشته هم مشابهه. یا به نال ختم میشن و یا به ۰/ اگه به نال ختم بشن رشته نهایی حالتیه که رشتمون به ۱ ختم بشه یا نال باشه.

سوال سوم هم تمام رشته هایی که حداقل یک b دارن رو تولید میکنه. رشته های بطول کمتر از ۴ تولید شده میشه همه رشته های بطول حداکثر ۴ که حداقل یک b راشته باشن.

سوال چهار هم منظور از رشته های پیچیده رو نمیفهمم. اگه منظورش همین پرانتزهای پشت سر همه که باید هر پرانتز رشته خودشو مشخص کنه و ترتیبش از چپ به راسته.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 29 خرداد ۱۳۹۱ ۰۹:۰۰ ق.ظ

از هر دو شما عزیزان سپاسگزارم.

در مورد سوال ۱ و ۲ هر دو عبارات معادل هم هستند (مثال کتاب لینز هستش).

۱/ منظورم از ترتیب اتصال هم، این هستش که، این عباراتی که در بالا گفتم رو هریک رو چطوری و از کجا باید
ضرب در هم کرد، تا به هم متصل شوند و رشته رو تولید کنند.

مثلا در سوال سه ترتیب و تقدم ضرب رو از چپ بگیریم اول باید *(a+b) رو از توان صفر و یک و ... تشکیل بدهیم
و بعد با {b} اتصال بدهیم و رشته تولیدی این دو رو هم با *(a+ab) در هم ضرب کنیم تا رشته کامل تولید بشه؟
درسته؟

۲/ سوال دیگرم هم این هستش که: در سوالات بالا اگر به جای ستاره، + داشتیم فقط مورد لاندا در رشته های تولیدی
ایجاد نخواهد شد؟درسته؟

۳/ یک سوال دیگر هم دارم: ترتیب اتصال از چپ به راست هستش و اینکه اولویت و حق تقدم پرانتز بیشتر از ستاره، + و اتصال هستش؟ درسته؟

ببخشید سوالاتم زیاد شد.من توی این درس کاملا مبتدی هستم.

ممنونم.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Jooybari - 29 خرداد ۱۳۹۱ ۰۹:۴۷ ق.ظ

اولویتی برای ترتیب وجود نداره. از هر پرانتز یه مقدار انتخاب میشه و بعد عبارات پشت سر هم قرار میگیرن. این ترتیبی که میگید رو از راست هم میتونید اعمال کنید. مشکلی پیش نمیاد. عبارات منظم ترتیب انتخاب ندارن. هر پرانتزو میشه یه زیرnfa گرفت و این زیرnfaهای تولید شده رو میشه به همین ترتیب با نال به هم وصل کرد. حالت شروع و نهایی رو که اضافه کنید nfa کلی زبان تولید میشه. کاری نداریم کدوم زودتر از بقیه اومده. هرقسمت از عبارت یه بخشی از nfa میشه که از بخشهای دیگه قابل جداشدنه.
فرق * و + هم فقط توی لانداست. + یعنی حداقل یکی انتخاب بشه و * این حداقل رو نداره و میشه انتخاب نکرد.
بیشترین اولویت رو پرانتز داره. * و + هم روی یک سمبل یا پرانتز اعمال میشه. ضرب هم اولویت بعدیه.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - fatima1537 - 29 خرداد ۱۳۹۱ ۱۱:۳۸ ق.ظ

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

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Jooybari - 29 خرداد ۱۳۹۱ ۱۲:۰۳ ب.ظ

فکر کنم سوال شما بخاطر + بین دو عبارت [tex](1^*011^*)^*(0 \lambda)[/tex] و [tex]1^*(0 \lambda)[/tex] باشه. یعنی یکی از این دو عبارت انخاب میشه. شما با ضربشون اشتباه گرفتید.

RE: چند سوال ساده در مورد نظریه-بخش عبارات منظم - fatima1537 - 29 خرداد ۱۳۹۱ ۰۲:۱۵ ب.ظ

ممنون.نه من اصلا متوجه این علامت جمع ( که انتخاب یکی از دو رشته است) نبودم

RE: چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 29 خرداد ۱۳۹۱ ۰۸:۵۳ ب.ظ

سلام مجدد و اینکه از هر دو شما عزیزان سپاسگزارم.

یک سوال دیگر هم دارم:

[تصویر:  104039_2012-06-18_204406.jpg]

ممنونم.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - fatima1537 - 29 خرداد ۱۳۹۱ ۰۹:۴۷ ب.ظ

بله.با هم برابرند:
[tex](a b)(a b)^{*}\equiv (a b)^{ }[/tex]

RE: چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 30 خرداد ۱۳۹۱ ۰۸:۰۷ ب.ظ

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

[tex](1 01)^{*}[/tex]
این چه رشته هایی رو تولید می کنه می شه مثال بزنید؟
---------------

[tex](1 10)^{*}[/tex]
این چه رشته هایی رو تولید می کنه می شه مثال بزنید؟
---------------

[tex](0 1)^{*}[/tex]

فرق هر سه اینها در چیه؟
--------------

چرا وقتی گفته می شه تمامی رشته هایی که حداقل یک ۰۰ دارند از این [tex](0 1)^{*}[/tex] در جواب به کار می ره. در صورتی که وقتی گفته می شه تمامی رشته هایی که ۰۰ ندارند یا دقیقا یک ۰۰ یا دقیقا دو ۰۰ دارند از اینها [tex](1 10)^{*}[/tex] و[tex](1 01)^{*}[/tex] در جواب استفاده می شه چرا در جوابشون نمی توان مثل همون حداقل ۰۰ از این [tex](0 1)^{*}[/tex] استفاده کرد.

ممنونم.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - fatima1537 - 30 خرداد ۱۳۹۱ ۰۸:۴۱ ب.ظ

۱:
رشته هایی که در انتهای اونها صفر قرار نمیگیره و هیچ دو صفری هم در کنار هم قرار نمیگیرند
۲:
شبیه بالایی است ولی: رشته هایی که در انتهای اونها یک قرار نمیگیره و هیچ دو تا صفری در کنار هم قرار نمیگیرند
۳:
سیگما استار رو تولید میکنه(یعنی هر ترکیب دلخواه و قابل تصوری از صفر و یکها)
فرق ۱و۲ با ۳ در اینه که ۱و ۲ در آخرین حرف و همچنین محل قرار گیری صفر و یکها محدودیت دارند ولی ۳ هیچ محدودیتی نداره
(۳۰ خرداد ۱۳۹۱ ۰۸:۰۷ ب.ظ)Prim$ نوشته شده توسط:  چرا وقتی گفته می شه تمامی رشته هایی که حداقل یک ۰۰ دارند از این [tex](0 1)^{*}[/tex] در جواب به کار می ره. در صورتی که وقتی گفته می شه تمامی رشته هایی که ۰۰ ندارند یا دقیقا یک ۰۰ یا دقیقا دو ۰۰ دارند از اینها [tex](1 10)^{*}[/tex] و[tex](1 01)^{*}[/tex] در جواب استفاده می شه چرا در جوابشون نمی توان مثل همون حداقل ۰۰ از این [tex](0 1)^{*}[/tex] استفاده کرد.
چون زبان ۱ و ۲ نمیتونه ۲ تا صفر در کنار هم تولید کنه(به خاطر ۰۱ که در این گرامر هست) ولی زبان *( ۱+ ۰) میتونه
درواقع در هر بار تولید رشته(وقتی که توی پرانتز علامت+هست)فقط یکی از عبارات موجود در پرانتز میتونند استفاده بشن.

RE: چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 31 خرداد ۱۳۹۱ ۰۷:۳۷ ق.ظ

خیلی خیلی ممنونم از پاسخگوییتون.
ببخشید سوالاتم زیاد شده چون بنده مبتدی هستم.

---------------------
آیا جواب زیر درست هست:
تمام رشته هایی که شامل دقیقا(حداکثر) یک aa هستند؟

[tex](b ab)^{*}aa(b ba)^{*}[/tex]

---------------------
در مورد سوال : تمام رشته هایی که ۰۰ ندارند؟

[tex](1 01)^{*}(\lambda 0)[/tex]

چرا انتهای جواب رو [tex](\lambda 0)[/tex] می نویسیم، اگر خالی هم بذاریم باز هم
۰۰ تولید نخواهد شد پس چه لزومی داره [tex](\lambda 0)[/tex] بنویسیم؟

---------------------
ممنونم.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Jooybari - 31 خرداد ۱۳۹۱ ۰۷:۵۵ ق.ظ

سوال اولتون برای دقیقاً درسته. اگه حداکثر رو میخواست باید بجای aa مینوشتید (aa+lambda) که یکیشون انتخاب بشه.

سوال دومتون درسته بدون پرانتز آخری هیچ رشته ای شامل ۰۰ رو قبول نمیکنه ولی همه رشته هایی که ۰۰ ندارن تولید نمیشه. فقط رشته هایی که به ۱ ختم میشن تولید میشن. مثلاً ۱۱۰۱۱۰ تولید نمیشه.

چند سوال ساده در مورد نظریه-بخش عبارات منظم - Prim$ - 31 خرداد ۱۳۹۱ ۰۹:۳۰ ق.ظ

ازتون خیلی خیلی ممنونم.

برای چی توی حداکثر باید لاندا رو هم گذاشت؟
حداکثر و دقیقا چه تفاوتی با هم دارند؟

ممنونم.