۰
subtitle
ارسال: #۱
حافظه در زبانهای منظم
هو العلیم
زبان اول: L={W:(na(w)−nb(w))mod3=1}
در این زبان نیاز به حافظه داریم. چون باید تعداد aها را در جایی ذخیره کنیم و بعدش بر اساس اون مقدار aها، b بیاوریم و بالعکس. یعنی مدام باید تعداد a یا bها رو داشته باشیم تا بر اساس اونها چنین رابطه ای رو set نگه داریم. (پس تعداد a ها و bها به هم وابسته است)
پس چرا این زبان منظمه؟
می شه بگیم چون حافظهی مورد نیازش محدود و مشخصه و با حالتهای dfa قابل شبیه سازیه در نتیجه منظمه؟
(من راه حل حافظه ای شون رو می خوام)
همچنین برای زبانهای زیر که منظم هستند:
زبان دوم : L={W:(na(w)−nb(w))mod3≠0}
زبان سوم: زبانی که در آن( تعداد a ها زوج و تعداد bها هم زوج) باشه. (زبان اصلاح شد)
[b]زبان چهارم: a^n b^m بطوریکه m+n زوج است.
و فرق ساختاری ۴ زبان بالا با زبان پنجم L={Wϵ∑∗:na(w)<nb(w)} چیه که در این یکی که وابستگی بین تعداد a و b داریم و در واقع وابستگی بین تعداد تولید اونها هستش و این یعنی نیاز به حافظه (یعنی تعداد aها رو باید داشته باشیم تا بر اساس اون b تولید بشه) نتیجه به نامنظم بودنش می دهد.
اما توی ۴ زبان بالا علیرغم وجود این وابستگیها منظم اند.
اگر فرصت دارید ...
ممنونم .
زبان اول: L={W:(na(w)−nb(w))mod3=1}
در این زبان نیاز به حافظه داریم. چون باید تعداد aها را در جایی ذخیره کنیم و بعدش بر اساس اون مقدار aها، b بیاوریم و بالعکس. یعنی مدام باید تعداد a یا bها رو داشته باشیم تا بر اساس اونها چنین رابطه ای رو set نگه داریم. (پس تعداد a ها و bها به هم وابسته است)
پس چرا این زبان منظمه؟
می شه بگیم چون حافظهی مورد نیازش محدود و مشخصه و با حالتهای dfa قابل شبیه سازیه در نتیجه منظمه؟
(من راه حل حافظه ای شون رو می خوام)
همچنین برای زبانهای زیر که منظم هستند:
زبان دوم : L={W:(na(w)−nb(w))mod3≠0}
زبان سوم: زبانی که در آن( تعداد a ها زوج و تعداد bها هم زوج) باشه. (زبان اصلاح شد)
[b]زبان چهارم: a^n b^m بطوریکه m+n زوج است.
و فرق ساختاری ۴ زبان بالا با زبان پنجم L={Wϵ∑∗:na(w)<nb(w)} چیه که در این یکی که وابستگی بین تعداد a و b داریم و در واقع وابستگی بین تعداد تولید اونها هستش و این یعنی نیاز به حافظه (یعنی تعداد aها رو باید داشته باشیم تا بر اساس اون b تولید بشه) نتیجه به نامنظم بودنش می دهد.
اما توی ۴ زبان بالا علیرغم وجود این وابستگیها منظم اند.
اگر فرصت دارید ...
ممنونم .