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

تشخیص شهودی زبان های نامنظم - ezra - 05 بهمن ۱۳۹۲ ۱۰:۴۲ ب.ظ

ما از هر ۴ تاپیکی که میزاریم تو این انجمن , به طور میانگین ۵ تاش قفل میشه !!!



جمله زیر درسته ؟

" وقتی به صورت شهودی مشخص باشه که زبان از حافظه استفاده می کنه , قطعاً زبان منظم نیست . "

اگه جمله ی بالا درسته چطور میشه تشخیص داد یه زبان نیاز به حافظه داره یا نه ؟!!!

RE: تشخیص شهودی زبان های نامنظم - Jooybari - 07 بهمن ۱۳۹۲ ۰۱:۲۲ ق.ظ

سلام. مثلاً زبانهای زیر به حافظه احتیاج دارن. برای تشخیص عضویت این زبانها نیاز به مقایسه تعداد داریم که برای تعدادشون محدودیت نداریم.

[tex]L=\{a^nb^n\}[/tex]
[tex]L=\{a^nb^m|n<m\}[/tex]
[tex]L=\{w|n_a(w)>n_b(w)\}[/tex]

اینها نیاز به حافظه و پشته دارن. ولی زبانهای زیر چون به حافظه نامحدود (مقایسه اعداد بدون محدودیت) ندارن منظمن:

[tex]L=\{a^nb^n,n<100\}[/tex]
[tex]L=\{a^nb^m|n<m<50\}[/tex]
[tex]L=\{w|n_a(w) mod 3>n_b(w) mod 3\}[/tex]

RE: تشخیص شهودی زبان های نامنظم - ezra - 07 بهمن ۱۳۹۲ ۰۹:۴۰ ب.ظ

(۰۷ بهمن ۱۳۹۲ ۰۱:۲۲ ق.ظ)Jooybari نوشته شده توسط:  سلام. مثلاً زبانهای زیر به حافظه احتیاج دارن. برای تشخیص عضویت این زبانها نیاز به مقایسه تعداد داریم که برای تعدادشون محدودیت نداریم.

[tex]L=\{a^nb^n\}[/tex]
[tex]L=\{a^nb^m|n<m\}[/tex]
[tex]L=\{w|n_a(w)>n_b(w)\}[/tex]

اینها نیاز به حافظه و پشته دارن. ولی زبانهای زیر چون به حافظه نامحدود (مقایسه اعداد بدون محدودیت) ندارن منظمن:

[tex]L=\{a^nb^n,n<100\}[/tex]
[tex]L=\{a^nb^m|n<m<50\}[/tex]
[tex]L=\{w|n_a(w) mod 3>n_b(w) mod 3\}[/tex]

ممنونتم داداش

فقط این زبان آخریه کجاش محدوده ؟

RE: تشخیص شهودی زبان های نامنظم - Jooybari - 08 بهمن ۱۳۹۲ ۰۱:۳۳ ق.ظ

(۰۷ بهمن ۱۳۹۲ ۰۹:۴۰ ب.ظ)ezra نوشته شده توسط:  
(07 بهمن ۱۳۹۲ ۰۱:۲۲ ق.ظ)Jooybari نوشته شده توسط:  سلام. مثلاً زبانهای زیر به حافظه احتیاج دارن. برای تشخیص عضویت این زبانها نیاز به مقایسه تعداد داریم که برای تعدادشون محدودیت نداریم.

[tex]L=\{a^nb^n\}[/tex]
[tex]L=\{a^nb^m|n<m\}[/tex]
[tex]L=\{w|n_a(w)>n_b(w)\}[/tex]

اینها نیاز به حافظه و پشته دارن. ولی زبانهای زیر چون به حافظه نامحدود (مقایسه اعداد بدون محدودیت) ندارن منظمن:

[tex]L=\{a^nb^n,n<100\}[/tex]
[tex]L=\{a^nb^m|n<m<50\}[/tex]
[tex]L=\{w|n_a(w) mod 3>n_b(w) mod 3\}[/tex]

ممنونتم داداش

فقط این زبان آخریه کجاش محدوده ؟

mod3 یعنی باقیمونده تقسیم بر ۳ که باقی مونده اعداد بر ۳ فقط میتونه ۰ و ۱ و ۲ باشه. پس تعدادش محدوده.