سلام
آیا عبارت منظم متمم زبان های زیر درست محاسبه کردم ؟
[tex]L1={a^{n}b^{m}:n\geq 4 , m\leq 3}[/tex]
[tex]L2={a^{n}b^{m}:n< 4 , m\leq 3}[/tex]
[tex](\lambda , a, aa,aaa)b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
استاد کارگهی میگه (توی ویس هاشون) که اگر [tex](a b)^{*}ba(a b)^{*}[/tex] را با [tex](a^{*}b^{*})^{^{*}}[/tex] جایگزین کنیم باز هم دو عبارت معادل هستند
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a^{*}b^{*})^{^{*}}[/tex]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
با سلام دوست عزیز
متأسفانه منظور سوال هاتون رو متوجه نشدم. میشه یکم واضح تر و به تفکیک بفرمائید؟
(۰۹ مهر ۱۳۹۲ ۰۲:۳۰ ق.ظ)Mehrdad_CS نوشته شده توسط: با سلام دوست عزیز
متأسفانه منظور سوال هاتون رو متوجه نشدم. میشه یکم واضح تر و به تفکیک بفرمائید؟
سوال اول این هست که عبارت منظم برای زبان های زیر رو درست محاسبه کردم ؟
سوال ۱ : [tex]L1={a^{n}b^{m}:n\geq 4 , m\leq 3}[/tex]
جواب من : [tex](\lambda , a, aa,aaa)b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
سوال ۲ : [tex]L2={a^{n}b^{m}:n< 4 , m\leq 3}[/tex]
جواب من : [tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
آیا جواب های من درست هستن ؟؟؟
سوال دوم : استاد کارگهی (توی ویس هاشون) گفتند که این دو عبارت معادل هستند
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a^{*}b^{*})^{^{*}}[/tex]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
(۰۹ مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)reza6966 نوشته شده توسط: سوال اول این هست که عبارت منظم برای زبان های زیر رو درست محاسبه کردم ؟برای اینکه متمم این عبارت بدست بیاد میگیم که باید تعداد a ها کوچکتر ۴ باشد یا تعداد b ها بزرگتر از ۳ باشه تا اینجا که دوبخش اول درسته
سوال ۱ : [tex]L1={a^{n}b^{m}:n\geq 4 , m\leq 3}[/tex]
جواب من : [tex](\lambda , a, aa,aaa)b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
میدونیم در حالت متمم باید ba هم تولید بشن که در بخش پایانی به اون اشاره کردید.پس متمم عبارت درسته.
(۰۹ مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)reza6966 نوشته شده توسط: سوال ۲ : [tex]L2={a^{n}b^{m}:n< 4 , m\leq 3}[/tex]این سوال هم مثل همون قبلی فقط شرط تولید a تغییر کرده که باید تعداد a ها بزرگتر مساوی ۴ باشند.
جواب من : [tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
پس متمم عبارت درسته.
(۰۹ مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)reza6966 نوشته شده توسط: سوال دوم : استاد کارگهی (توی ویس هاشون) گفتند که این دو عبارت معادل هستنداینکه میشه این دوتا عبارت جایگزین هم بشن من کمی شک دارم!
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a^{*}b^{*})^{^{*}}[/tex]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
حالا اگر بگیم اون ba نباشه مشکلی نباشه چون توی هر دو عبارت قراره a یا b بستار ستاره ای داشته باشن ولی متوجه نمیشم چطور با وجود ba میتونیم این نتیجه رو بگیریم
شاید این مد نظر هست که وقتی [tex](a^{*}b^{*})^{^{*}}[/tex] رو داریم امکانش هست که بعد یه بار تولید b حرف a هم تولید بشه!(دقیقا مطمئن نیستم)
(۰۹ مهر ۱۳۹۲ ۱۰:۱۶ ق.ظ)m@hboobe نوشته شده توسط:این رو بگم که چون جزوه این قسمت ناقص بود , از صحت ۱۰۰ % آن اطلاع ندارم(09 مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)reza6966 نوشته شده توسط: سوال دوم : استاد کارگهی (توی ویس هاشون) گفتند که این دو عبارت معادل هستنداینکه میشه این دوتا عبارت جایگزین هم بشن من کمی شک دارم!
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a b)^{*}ba(a b)^{*}[/tex]
[tex]aaaaa^{*}b^{*} a^{*}bbbbb^{*} (a^{*}b^{*})^{^{*}}[/tex]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
حالا اگر بگیم اون ba نباشه مشکلی نباشه چون توی هر دو عبارت قراره a یا b بستار ستاره ای داشته باشن ولی متوجه نمیشم چطور با وجود ba میتونیم این نتیجه رو بگیریم
به گفته دکتر کارگهی قبلا به عنوان تست داده شده همین قسمت اما اینکه چطور این رو استنباط کردن رو نمی دونم ؟
اصلا توی یه تست چطور میشه این معادل ها رو تشخیص داد ؟
[tex](a^{*}b^{*})^{^{*}}[/tex] از این قسمت ab رو هم میشه نتیجه گرفت , که جز خود زبان L2 هست نه مکمل آن
من که متوجه نشدم
کسی از دوستان به همچین چیزی برنخورده ؟
[tex](a^{*}b^{*})^{*}[/tex]
این عبارت که نمیتونه ba تولید کنه،چون هر جوری تکرار بشه باز aقبل از b قرار میگیره.
وقتی تولید نکنه پس نمیتونه با این عبارت برابر باشه
[tex](a b)^{*}ba(a b)^{*}[/tex]