شما از طریق گرامر زبان و توسط الفبا رشته های مربوط به زبان رو تولید می کنید ، یعنی مولد رشته ای مربوط به زبان گرامر هست، یعنی امکان تولید رشته ای توسط گرامر که اون متعلق به گرامر اون زبان نباشه مسلمه صفره چون تناقض داره دو طرف تساوی .
اما بیشتر مسائل مربوط به مساله تعلق هست که چطوری نشون بدیم یه رشته متعلق به زبان هست یا نه ، برای جواب گفتن به سوال نظریه زبان و ماشین رو مطرح کردن (بماند الان خیلی فراتر از مساله تعلق هستش) ، از ابزار هایی مثل عبارات و ماشین ها برای اثبات تعلق رشته به زبان استفاده کردن --------> یعنی فهم یه زبان خارجی اما با داشتنش گرامرش -----> ایجاد برنامه نویسی
البته میدونم همه بچه ها اینا رو میدونم اما صرفا جهت یاداوری بود

دوستان میشه مثلا گرامر g1 رشته های زبان a* رو تولید کنه و یکی دیگه g2 j تک رشته زبان a رو تولید کنه پس:

l(g2 زیر مجموعه l(g1 میشه

درسته؟

من فکر کنم درسته

بله درسته، چون g2 فقط رشته هایی (تک رشته a در اینجا) تولید می کنه که عضوی از رشته ای تولیدی گرامر g1 هستش *a