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

$L=\{a^nb^n\}$
$L=\{a^nb^m|n<m\}$
$L=\{w|n_a(w)>n_b(w)\}$

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

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

(۰۷ بهمن ۱۳۹۲ ۰۹:۴۰ ب.ظ)ezra نوشته شده توسط:  

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

$L=\{a^nb^n\}$
$L=\{a^nb^m|n<m\}$
$L=\{w|n_a(w)>n_b(w)\}$

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

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

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

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