۰
subtitle
ارسال: #۱
  
RE برای متمم زبان های منظم L1 و L2
سلام
آیا عبارت منظم متمم زبان های زیر درست محاسبه کردم ؟
[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]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
آیا عبارت منظم متمم زبان های زیر درست محاسبه کردم ؟
[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]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
۱
ارسال: #۲
  
RE: RE برای متمم زبان های منظم L1 و L2
(۰۹ مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)reza6966 نوشته شده توسط: سوال اول این هست که عبارت منظم برای زبان های زیر رو درست محاسبه کردم ؟برای اینکه متمم این عبارت بدست بیاد میگیم که باید تعداد a ها کوچکتر ۴ باشد یا تعداد b ها بزرگتر از ۳ باشه تا اینجا که دوبخش اول درسته میدونیم در حالت متمم باید ba هم تولید بشن که در بخش پایانی به اون اشاره کردید.
سوال ۱ : [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]
پس متمم عبارت درسته.
(۰۹ مهر ۱۳۹۲ ۰۴:۲۳ ق.ظ)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 هم تولید بشه!(دقیقا مطمئن نیستم)
ارسال: #۳
  
RE: RE برای متمم زبان های منظم L1 و L2
(۰۹ مهر ۱۳۹۲ ۱۰:۱۶ ق.ظ)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] رو داریم امکانش هست که بعد یه بار تولید b حرف a هم تولید بشه!(دقیقا مطمئن نیستم)
به گفته دکتر کارگهی قبلا به عنوان تست داده شده همین قسمت اما اینکه چطور این رو استنباط کردن رو نمی دونم ؟
اصلا توی یه تست چطور میشه این معادل ها رو تشخیص داد ؟
[tex](a^{*}b^{*})^{^{*}}[/tex] از این قسمت ab رو هم میشه نتیجه گرفت , که جز خود زبان L2 هست نه مکمل آن
من که متوجه نشدم کسی از دوستان به همچین چیزی برنخورده ؟
۰
ارسال: #۴
  
RE: RE برای متمم زبان های منظم L1 و L2
با سلام دوست عزیز
متأسفانه منظور سوال هاتون رو متوجه نشدم. میشه یکم واضح تر و به تفکیک بفرمائید؟
متأسفانه منظور سوال هاتون رو متوجه نشدم. میشه یکم واضح تر و به تفکیک بفرمائید؟
ارسال: #۵
  
RE: RE برای متمم زبان های منظم L1 و L2
(۰۹ مهر ۱۳۹۲ ۰۲:۳۰ ق.ظ)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]
این قسمت رو اصلا متوجه نشدم چون جزوه این قسمت ناقص هست
کسی می دونه منظورشون چی بوده ؟
۰
ارسال: #۶
  
RE: RE برای متمم زبان های منظم L1 و L2
[tex](a^{*}b^{*})^{*}[/tex]
این عبارت که نمیتونه ba تولید کنه،چون هر جوری تکرار بشه باز aقبل از b قرار میگیره.
وقتی تولید نکنه پس نمیتونه با این عبارت برابر باشه
[tex](a b)^{*}ba(a b)^{*}[/tex]
این عبارت که نمیتونه ba تولید کنه،چون هر جوری تکرار بشه باز aقبل از b قرار میگیره.
وقتی تولید نکنه پس نمیتونه با این عبارت برابر باشه
[tex](a b)^{*}ba(a b)^{*}[/tex]
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close