$L_{1}-L_{2^{}}'= L_{1}\cap L_{2}$

اشتراک دو تا زبان رو به دست میاریم‌: از اونجایی که L2 زیر مجموعه L1 است چون n>n-3 هست و n,n-3>=0 هستند. پس اشتراک اونها همون L2 میشه.

گرامر L2 هم با یک تغییر متغیر ساده بدست میاد‌: کافیه به جای n-3 بگذارید m و به جای n بگذارید m+3 و m>=0 قرار بدید. حالا زبان شما به فرم:
tex]a^mb^mb^3]
[/tex] در میاد که گرامرش رو میتونید بنویسید.

(۱۲ آذر ۱۳۹۰ ۱۲:۴۹ ب.ظ)afagh1389 نوشته شده توسط:  $L_{1}-L_{2^{}}'= L_{1}\cap L_{2}$

اشتراک دو تا زبان رو به دست میاریم‌: از اونجایی که L2 زیر مجموعه L1 است چون n>n-3 هست و n,n-3>=0 هستند. پس اشتراک اونها همون L2 میشه.

گرامر L2 هم با یک تغییر متغیر ساده بدست میاد‌: کافیه به جای n-3 بگذارید m و به جای n بگذارید m+3 و m>=0 قرار بدید. حالا زبان شما به فرم:
tex]a^mb^mb^3]
[/tex] در میاد که گرامرش رو میتونید بنویسید.

L2 زیر مجموعه‌ی L1 نیست یک مثال هم این که در L2 رشته‌ی a3 رو داریم اما تو L1 نداریم