دوستان نظرتون درباره منظم یا نامنظم بودن زبانهای زیر چیه؟
[tex]L = {a^{n}b^{m}: |n-m|=2} , L= {w\varepsilon {a,b,c}*: |w|= 3n_{a}(w)}[/tex]
به نظر میاد دومی منظم باشه. اولی رو در موردش هیچ نظر خاصی ندارم. واگذار می کنم به شما.
و اما دومین سوال اینکه:
تو ۲ تا از تمرینات لینز اومده که اگر L1 (اجتماع) L2 منظم باشه و بدونیم L1 هم منظمه، می تونیم ادعا کنیم که L2 هم منظمه. اما تو همین بخش تمرینات با مثال نقض اثبات کرده که اینطور نیست!
برام عجیبه که ۲ تا سوال با مضمون یکسان دو تا جواب متناقض داشته باشن. اثبات اینکه L2 نامنظمه منطقیه،اما اینکه تاکید داشته تو یه تمرینی که می شه بگی L2 منظمه مبهمه. بالاخره L2 می تونه منظم باشه یا خیر؟ صریح بله یا خیر منظورمه.
a^n b^m
lm-nl=2
m=2+n یا n=2+m خوب این منظم نیست اینم مثل a^nb^n میمونه.چون میتونیم اینجوری بنویسیم: a^nb^2b^n یا a^2a^mb^m که منظم نیست!