تالار گفتمان مانشت

من یه چیزو نفهمیدم.اگه کمک کنید ممنون میشم.اینکه بالاخره:
گرامر یک زبان فقط باید رشته هایی که مربوط به همان زبان است را تولید کند؟
(نمیشه رشته های اون زبان رو تولید کنه ولی مثلا یک سری رشته هم اضافه تر تولید کنه که تو اون زبان نیست؟)

(17 مهر 1391 02:28 ق.ظ)آلبالو نوشته شده توسط: [ -> ]گرامر یک زبان فقط باید رشته هایی که مربوط به همان زبان است را تولید کند؟
(نمیشه رشته های اون زبان رو تولید کنه ولی مثلا یک سری رشته هم اضافه تر تولید کنه که تو اون زبان نیست؟)

خیر نمیشه
وقتی از گرامر یک زبان صحبت میشه باید رشته های تولیدی گرامر و زبان یکی باشن
چیزی که شما میگین زبان زیر مجموعه زبان گرامرتون میشه نه برابرش
اگه دقت کنین از تساوی برای تعریف استفاده میشه ((L=L(G) که اجازه نمیده یکی بیشتر باشه

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

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

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

درسته؟

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

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