SlideShare a Scribd company logo
1 of 20
Download to read offline
‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬
‫پشته‬ ‫های‬ ‫ماشین‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫همراه‬ ‫به‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬،‫ای‬
‫های‬ ‫فرم‬‫باشید‬ ‫داشته‬ ‫منظم‬ ‫های‬ ‫زبان‬ ‫و‬ ‫نرمال‬.
•‫برای‬‫هر‬‫زبان‬‫مستقل‬‫از‬‫متن‬‫یک‬PDA‫وجود‬‫دارد‬.
•‫با‬‫استفاده‬‫از‬‫فرم‬‫گریباخ‬‫می‬‫توان‬‫یک‬PDA‫طراحی‬‫کرد‬.
•‫اشتراک‬‫یک‬‫زبان‬‫منظم‬‫و‬‫یک‬‫زبان‬‫مستقل‬‫از‬،‫متن‬‫یک‬‫زبان‬‫مستقل‬‫ا‬‫ز‬‫متن‬
‫است‬.
‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬‫زبان‬ ‫خواص‬
•𝐿1
∗
‫مستقل‬‫از‬‫متن‬‫است‬.
•LR‫مستقل‬‫از‬‫متن‬‫است‬.
•‫نسبت‬‫به‬‫عمل‬‫متمم‬‫بسته‬‫نیست‬.
‫اگر‬L1‫مستقل‬ ‫زبان‬ ‫یک‬‫متن‬ ‫از‬‫باشد‬،
‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬‫زبان‬ ‫خواص‬
•‫اجتماع‬‫آن‬‫دو‬ً‫ا‬‫حتم‬‫مستقل‬‫از‬‫متن‬‫است‬.
•‫اتصال‬‫آن‬‫دو‬‫مستقل‬‫از‬‫متن‬‫است‬.
•‫نسبت‬‫به‬‫عمل‬‫اشتراک‬‫بسته‬‫نیست‬.
‫اگر‬L1‫و‬L2‫مستقل‬ ‫های‬ ‫زبان‬‫متن‬ ‫از‬،‫باشند‬
‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬‫زبان‬ ‫خواص‬
‫پردازیم‬ ‫می‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬ ‫زبان‬ ‫خواص‬ ‫بررسی‬ ‫به‬ ‫آموزشی‬ ‫ویدئوی‬ ‫این‬ ‫در‬.‫باشید‬ ‫داشته‬ ‫منظم‬ ‫های‬ ‫زبان‬ ‫و‬ ‫نرمال‬ ‫های‬ ‫ای،فرم‬ ‫پشته‬ ‫های‬ ‫ماشین‬ ‫مباحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫همراه‬ ‫به‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬.
‫کرد‬ ‫اشاره‬ ‫روبرو‬ ‫موارد‬ ‫به‬ ‫میتوان‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬‫زبان‬ ‫خواص‬ ‫جمله‬ ‫از‬.‫یک‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫هر‬ ‫برای‬PDA‫دارد‬ ‫وجود‬.‫یک‬ ‫توان‬ ‫می‬ ‫گریباخ‬ ‫فرم‬ ‫از‬ ‫استفاده‬ ‫با‬PDA‫کرد‬ ‫طراحی‬.‫زبان‬ ‫یک‬ ،‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫یک‬ ‫و‬ ‫منظم‬ ‫زبان‬ ‫یک‬ ‫اشتراک‬ ‫همچنین‬
‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬.
‫اگر‬ ‫همچنین‬L1،‫باشد‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫یک‬
𝐿1
∗
‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬.
LR‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬.
‫نیست‬ ‫بسته‬ ‫متمم‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫این‬ ‫اما‬.
‫اگر‬L1‫و‬L2،‫باشند‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬ ‫زبان‬
‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ً‫ا‬‫حتم‬ ‫دو‬ ‫آن‬ ‫اجتماع‬.
‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫دو‬ ‫آن‬ ‫اتصال‬.
‫نیست‬ ‫بسته‬ ‫اشتراک‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫و‬.
‫بنویسیم‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫برو‬ ‫رو‬ ‫زبان‬ ‫برای‬ ‫خواهیم‬ ‫می‬ ‫حال‬.
‫از‬ ‫هایی‬‫رشته‬a،b‫و‬c‫بصورت‬ ‫رشته‬ ‫که‬ ‫بطوری‬xcx‫و‬ ‫نباشد‬x‫از‬ ‫مختلف‬ ‫های‬‫جایگشت‬ ‫شامل‬ ‫هم‬a‫و‬b‫است‬.
‫صورت‬ ‫به‬ ‫که‬ ‫هایی‬ ‫رشته‬ ‫جز‬ ‫به‬ ‫ها‬ ‫رشته‬ ‫تمام‬ ‫شامل‬ ‫زبان‬ ‫این‬xcx‫شود‬ ‫می‬ ،‫است‬.
‫نوشت‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫چند‬ ‫اجتماع‬ ‫صورت‬ ‫به‬ ‫توان‬ ‫می‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬ ‫های‬ ‫ویژگی‬ ‫به‬ ‫توجه‬ ‫با‬ ‫را‬ ‫زبان‬ ‫این‬ ‫گرامر‬.‫که‬ ‫ای‬ ‫گونه‬ ‫به‬:‫منظم‬ ‫زبان‬L1‫حرف‬ ‫تکرار‬ ‫تعداد‬ ‫که‬ ‫است‬ ‫های‬ ‫رشته‬ ‫شامل‬c‫حرف‬ ‫فقط‬ ‫یعنی‬ ‫نباشد‬ ‫یک‬ ‫برابر‬c‫مهم‬ ‫ماشین‬ ‫برای‬
‫حروف‬ ‫و‬ ‫باشد‬‫می‬a‫و‬b‫ندارند‬ ‫محدودیتی‬ ‫هیچ‬.‫از‬ ‫بیش‬ ‫و‬ ‫صفر‬ ‫شامل‬ ‫تواند‬ ‫می‬ ‫ورودی‬ ‫های‬ ‫رشته‬ ‫پس‬2‫حرف‬c‫باشد‬.
‫کنید‬ ‫توجه‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫به‬.‫عدد‬ ‫دو‬ ‫مشاهده‬ ‫از‬ ‫بعد‬ ‫ماشین‬ ‫همچنین‬ ‫و‬ ‫بوده‬ ‫نهایی‬ ‫وضعیت‬ ‫یک‬ ‫تواند‬ ‫می‬ ‫ماشین‬ ‫اولیه‬ ‫وضعیت‬c‫از‬ ‫تعدادی‬ ‫هر‬ ‫بین‬ ‫این‬ ‫در‬ ‫و‬ ‫برود‬ ‫دوم‬ ‫نهایی‬ ‫وضعیت‬ ‫به‬ ‫تواند‬ ‫می‬a‫و‬b‫شود‬ ‫دیده‬ ‫تواند‬ ‫می‬.
‫زبان‬L2‫بصورت‬ ‫هایی‬ ‫رشته‬ ‫شامل‬x1cx2‫رشته‬ ‫طول‬ ‫که‬ ‫بطوری‬ ،‫است‬x1‫از‬ ‫قبل‬ ‫که‬c‫رشته‬ ‫طول‬ ‫از‬ ‫کوچکتر‬ ‫باشد‬ ‫می‬x2‫از‬ ‫بعد‬ ‫که‬c‫باشد‬ ،‫است‬.‫از‬ ‫استفاده‬ ‫با‬ ‫را‬ ‫زبان‬ ‫این‬PDA‫کرد‬ ‫طراحی‬ ‫توان‬ ‫می‬.
‫مشاهده‬ ‫هربار‬ ‫ازای‬ ‫به‬ ‫اول‬ ‫وضعیت‬ ‫در‬ ‫ماشین‬ ،‫کنید‬ ‫می‬ ‫مشاهده‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫در‬ ‫که‬ ‫همانطور‬a‫یا‬b‫حرف‬ ‫یک‬A‫حرف‬ ‫رشته‬ ‫ورودی‬ ‫اینکه‬ ‫تا‬ ‫کند‬ ‫می‬ ‫اضافه‬ ‫پشته‬ ‫باالی‬ ‫به‬c‫شود‬.‫هر‬ ‫ازای‬ ‫به‬ ‫که‬ ‫بطوری‬ ‫شود‬ ‫می‬ ‫جدیدی‬ ‫حالت‬ ‫وارد‬ ‫ماشین‬ ‫شرایطی‬ ‫چنین‬ ‫در‬
‫حرف‬a‫یا‬b‫حرف‬ ‫یک‬ ‫ورودی‬ ‫رشته‬ ‫از‬A‫شود‬ ‫خالی‬ ‫پشته‬ ‫اینکه‬ ‫تا‬ ‫کند‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬.
‫از‬ ‫تر‬ ‫اضافه‬ ‫حرف‬ ‫یک‬ ‫حتی‬ ‫دیدن‬ ‫با‬ ‫شرایطی‬ ‫چنین‬ ‫در‬a‫یا‬b‫شود‬ ‫می‬ ‫اول‬ ‫رشته‬ ‫از‬ ‫بزرگتر‬ ‫دوم‬ ‫رشته‬ ‫طول‬ ‫چون‬ ‫رود‬ ‫می‬ ‫نهایی‬ ‫حالت‬ ‫به‬ ‫ماشین‬.
‫زبان‬L3‫بصورت‬ ‫هایی‬ ‫رشته‬ ‫شامل‬x1cx2‫رشته‬ ‫طول‬ ‫که‬ ‫است‬x1‫از‬ ‫بزرگتر‬x2‫باشد‬ ‫می‬.‫برای‬ ‫یک‬ ‫از‬ ‫بیش‬ ‫طول‬ ‫داشتن‬ ‫حالت‬ ‫این‬ ‫در‬x1‫حرف‬ ‫وجود‬ ‫و‬c‫باشد‬ ‫می‬ ‫گرامر‬ ‫این‬ ‫مهم‬ ‫اجزای‬ ‫از‬ ‫ورودی‬ ‫رشته‬ ‫در‬.
‫حرف‬ ‫هر‬ ‫ازای‬ ‫به‬ ‫ماشین‬ ‫در‬a‫یا‬b‫حرف‬ ‫اینکه‬ ‫از‬ ‫قبل‬c‫حرف‬ ‫یک‬ ‫شود‬ ‫مشاهده‬A‫شود‬ ‫می‬ ‫پوش‬ ‫پشته‬ ‫در‬.‫حرف‬ ‫دیدن‬ ‫از‬ ‫بعد‬c‫کند‬ ‫می‬ ‫پیدا‬ ‫جدیدی‬ ‫وضعیت‬ ‫ماشین‬ ،‫ورودی‬ ‫در‬.‫حروف‬ ‫دیدن‬ ‫با‬ ‫یا‬ ‫که‬ ‫ای‬ ‫گونه‬ ‫به‬a‫یا‬b‫حرف‬ ‫یک‬A‫اینکه‬ ‫یا‬ ‫شود‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬
‫رشته‬ ‫در‬ ‫بیشتری‬ ‫حرف‬ ‫تعداد‬ ‫یعنی‬ ،‫رفت‬ ‫نهایی‬ ‫وضعیت‬ ‫به‬ ‫توان‬ ‫می‬ ‫نباشد‬ ‫خالی‬ ‫پشته‬ ‫اینکه‬ ‫ازای‬ ‫به‬ ‫نداشت‬ ‫وجود‬ ‫دیگری‬ ‫ورودی‬ ‫هیچ‬ ‫اگر‬x1‫باشد‬ ‫شده‬ ‫مشاهده‬.
‫زبان‬L4‫طرف‬ ‫دو‬ ‫در‬ ‫ها‬ ‫رشته‬ ‫زیر‬ ‫طول‬ ‫که‬ ‫کند‬ ‫می‬ ‫فراهم‬ ‫را‬ ‫ها‬ ‫رشته‬ ‫از‬ ‫ای‬‫مجموعه‬ ،c‫از‬ ‫بعد‬ ‫که‬ ‫آنجا‬ ‫از‬ ‫ولی‬ ،‫باشند‬ ‫مساوی‬ ‫توانند‬ ‫می‬ ‫شرایطی‬ ‫در‬x1‫حرف‬ ‫یک‬ ،‫رشته‬ ‫چپ‬ ‫سمت‬ ‫در‬a‫از‬ ‫بعد‬ ‫رشته‬ ‫راست‬ ‫سمت‬ ‫در‬ ‫و‬x2‫حرف‬ ‫یک‬b‫این‬ ‫کننده‬ ‫تضمین‬ ،‫آمده‬
‫طول‬ ‫چون‬ ،‫نیستند‬ ‫برابر‬ ‫هم‬ ‫با‬ ‫ها‬ ‫رشته‬ ‫زیر‬ ‫که‬ ‫است‬x1‫با‬ ‫برابر‬x2‫است‬.
‫ازای‬ ‫به‬ ‫شود‬ ‫می‬ ‫مالحظه‬ ‫دیاگرام‬ ‫در‬ ‫که‬ ‫همانطور‬a‫و‬b‫زیررشته‬ ‫در‬ ‫شده‬ ‫مشاهده‬ ‫های‬x1‫حرف‬A‫رشته‬ ‫وارد‬ ‫که‬ ‫هنگامی‬ ‫و‬ ‫شود‬ ‫می‬ ‫پوش‬ ‫پشته‬ ‫در‬x2‫حرف‬ ‫یک‬ ‫ورودی‬ ‫هر‬ ‫ازای‬ ‫به‬ ،‫شد‬A‫کند‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬.‫ورودی‬ ‫با‬ay1c‫و‬by2‫پاپ‬ ‫پشته‬ ‫از‬ ‫حرفی‬ ‫هیچ‬
‫شود‬ ‫نمی‬.
‫زبان‬L5‫به‬ ‫شبیه‬L4‫حرف‬ ‫اول‬ ‫رشته‬ ‫در‬ ‫که‬ ‫تفاوت‬ ‫این‬ ‫با‬ ‫است‬b‫حرف‬ ‫دوم‬ ‫رشته‬ ‫در‬ ‫و‬a‫دارد‬ ‫وجود‬.
‫کنید‬ ‫توجه‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫به‬.
‫زبان‬ ‫گرامر‬ ‫شود‬ ‫می‬ ‫مشاهده‬ ‫که‬ ‫همانطور‬L‫است‬ ‫شده‬ ‫مطرح‬ ‫زبان‬ ‫پنج‬ ‫اجتماع‬ ‫شامل‬.‫رفت‬ ‫توان‬ ‫می‬ ‫ها‬ ‫زبان‬ ‫از‬ ‫کدام‬ ‫هر‬ ‫به‬ ‫اولیه‬ ‫وضعیت‬ ‫از‬ ‫هم‬ ‫حالت‬ ‫دیاگرام‬ ‫در‬.
‫زبان‬ ‫متمم‬L‫زبان‬ ،wcw‫گرامر‬ ‫متمم‬ ‫که‬ ‫گفت‬ ‫توان‬ ‫نمی‬ ‫حتم‬ ‫طور‬ ‫به‬ ،‫نیستند‬ ‫بسته‬ ‫متمم‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬ ‫چون‬ ‫ولی‬ ‫است‬wcw‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫هم‬.
‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬
‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬:
http://minidars.ir/?p=1366
‫بنویسید‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫زیر‬ ‫زبان‬ ‫برای‬.
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
‫مثال‬:
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L1= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝑛 𝑐 (𝜔) ≠ 1}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L1= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝑛 𝑐 (𝜔) ≠ 1}
a , b a , b a , b , c
cc
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L2= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 < |𝑥2|}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L2= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 < |𝑥2|}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
a , λ / A
b , λ / A a , b
c
a , A / λ
b , A / λ
a , z / z
b , z / z
L3= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 > |𝑥2|}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L3= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 > |𝑥2|}
a , λ / A
b , λ / A
c
a , A / λ
b , A / λ
λ , A / A
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L4= 𝑥1 𝑎𝑦1 𝑐𝑥2 𝑏𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 = |𝑥2|}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L4= 𝑥1 𝑎𝑦1 𝑐𝑥2 𝑏𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 = |𝑥2|}
a , λ / A
b , λ / A a , b
a
a , b
c
a , A / λ
b , A / λ
b , z / z
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L5= 𝑥1 𝑏𝑦1 𝑐𝑥2 𝑎𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 = |𝑥2|}
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
L5= 𝑥1 𝑏𝑦1 𝑐𝑥2 𝑎𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗
, 𝑥1 = |𝑥2|}
a , λ / A
b , λ / A a , b
b
a , b
c
a , A / λ
b , A / λ
a , z / z
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
𝐿 = 𝐿1 ∪ 𝐿2 ∪ 𝐿3 ∪ 𝐿4 ∪ 𝐿5
λ
λ
λ
λ
λ
L1
L2
L3
L4
L5
L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗
𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗
}
‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬
‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬:
http://minidars.ir/?p=1366
‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬
‫چامسکی‬ ‫نرمال‬ ‫فرم‬
‫مبحث‬ ‫بر‬ ‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫گرا‬ ‫کردن‬ ‫نرمال‬‫مرها‬
‫داشته‬‫باشید‬.‫توانید‬ ‫می‬ ‫آموزش‬ ‫این‬ ‫پایان‬ ‫در‬ ‫شما‬‫بسیار‬ ‫تسلط‬‫مناسبی‬‫ا‬‫تبدیل‬ ‫ز‬
‫به‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬‫آورید‬ ‫دست‬.
‫درس‬ ‫مینی‬ ‫دیگر‬ ‫های‬ ‫آموزش‬

More Related Content

More from minidars

تبدیل گرامر مستقل از متن به فرم نرمال چامسکی
تبدیل گرامر مستقل از متن به فرم نرمال چامسکیتبدیل گرامر مستقل از متن به فرم نرمال چامسکی
تبدیل گرامر مستقل از متن به فرم نرمال چامسکیminidars
 
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.com
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.comچند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.com
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.comminidars
 
شیفت رجیستر - نمونه سوال امتحانی
شیفت رجیستر - نمونه سوال امتحانیشیفت رجیستر - نمونه سوال امتحانی
شیفت رجیستر - نمونه سوال امتحانیminidars
 
شمارنده ها - نمونه سوال امتحانی 2
شمارنده ها - نمونه سوال امتحانی 2شمارنده ها - نمونه سوال امتحانی 2
شمارنده ها - نمونه سوال امتحانی 2minidars
 
شمارنده ها - نمونه سوال امتحانی 1
شمارنده ها - نمونه سوال امتحانی 1شمارنده ها - نمونه سوال امتحانی 1
شمارنده ها - نمونه سوال امتحانی 1minidars
 
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2minidars
 
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1minidars
 
خطای روش های انتگرال گیری عددی
خطای روش های انتگرال گیری عددیخطای روش های انتگرال گیری عددی
خطای روش های انتگرال گیری عددیminidars
 
روش های انتگرال گیری عددی
روش های انتگرال گیری عددیروش های انتگرال گیری عددی
روش های انتگرال گیری عددیminidars
 
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲minidars
 
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱minidars
 
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانی
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانیفلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانی
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانیminidars
 
دیکدر و مالتی پلکسر در مدارهای ترکیبی
دیکدر و مالتی پلکسر در مدارهای ترکیبیدیکدر و مالتی پلکسر در مدارهای ترکیبی
دیکدر و مالتی پلکسر در مدارهای ترکیبیminidars
 
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانی
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانینیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانی
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانیminidars
 
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانی
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانیتحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانی
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانیminidars
 
سوال 38 کنکور ارشد 93
سوال 38 کنکور ارشد 93سوال 38 کنکور ارشد 93
سوال 38 کنکور ارشد 93minidars
 
سوال 36 کنکور ارشد 94
سوال 36 کنکور ارشد 94سوال 36 کنکور ارشد 94
سوال 36 کنکور ارشد 94minidars
 
سوال 35 کنکور ارشد 94
سوال 35 کنکور ارشد 94سوال 35 کنکور ارشد 94
سوال 35 کنکور ارشد 94minidars
 
سوال 36 کنکور ارشد 93
سوال 36 کنکور ارشد 93سوال 36 کنکور ارشد 93
سوال 36 کنکور ارشد 93minidars
 
سوال 37 کنکور ارشد 93
سوال 37 کنکور ارشد 93سوال 37 کنکور ارشد 93
سوال 37 کنکور ارشد 93minidars
 

More from minidars (20)

تبدیل گرامر مستقل از متن به فرم نرمال چامسکی
تبدیل گرامر مستقل از متن به فرم نرمال چامسکیتبدیل گرامر مستقل از متن به فرم نرمال چامسکی
تبدیل گرامر مستقل از متن به فرم نرمال چامسکی
 
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.com
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.comچند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.com
چند عادت مهم برای موفق شدن؟؟؟ برگرفته از opinno.com
 
شیفت رجیستر - نمونه سوال امتحانی
شیفت رجیستر - نمونه سوال امتحانیشیفت رجیستر - نمونه سوال امتحانی
شیفت رجیستر - نمونه سوال امتحانی
 
شمارنده ها - نمونه سوال امتحانی 2
شمارنده ها - نمونه سوال امتحانی 2شمارنده ها - نمونه سوال امتحانی 2
شمارنده ها - نمونه سوال امتحانی 2
 
شمارنده ها - نمونه سوال امتحانی 1
شمارنده ها - نمونه سوال امتحانی 1شمارنده ها - نمونه سوال امتحانی 1
شمارنده ها - نمونه سوال امتحانی 1
 
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی2
 
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1
طراحی مدار ترتیبی غیرهمزمان -نمونه سوال امتحانی1
 
خطای روش های انتگرال گیری عددی
خطای روش های انتگرال گیری عددیخطای روش های انتگرال گیری عددی
خطای روش های انتگرال گیری عددی
 
روش های انتگرال گیری عددی
روش های انتگرال گیری عددیروش های انتگرال گیری عددی
روش های انتگرال گیری عددی
 
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲
طراحی مدار ترتیبی همزمان – نمونه سوال امتحانی ۲
 
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱
طراحی مدار ترتیبی همزمان -نمونه سوال امتحانی ۱
 
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانی
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانیفلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانی
فلیپ فلاپ ها در مدارهای ترتیبی-نمونه سوال امتحانی
 
دیکدر و مالتی پلکسر در مدارهای ترکیبی
دیکدر و مالتی پلکسر در مدارهای ترکیبیدیکدر و مالتی پلکسر در مدارهای ترکیبی
دیکدر و مالتی پلکسر در مدارهای ترکیبی
 
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانی
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانینیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانی
نیم جمع کننده در مدارهای ترکیبی-نمونه سوال امتحانی
 
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانی
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانیتحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانی
تحلیل مدارهای ترتیبی همزمان- نمونه سوال امتحانی
 
سوال 38 کنکور ارشد 93
سوال 38 کنکور ارشد 93سوال 38 کنکور ارشد 93
سوال 38 کنکور ارشد 93
 
سوال 36 کنکور ارشد 94
سوال 36 کنکور ارشد 94سوال 36 کنکور ارشد 94
سوال 36 کنکور ارشد 94
 
سوال 35 کنکور ارشد 94
سوال 35 کنکور ارشد 94سوال 35 کنکور ارشد 94
سوال 35 کنکور ارشد 94
 
سوال 36 کنکور ارشد 93
سوال 36 کنکور ارشد 93سوال 36 کنکور ارشد 93
سوال 36 کنکور ارشد 93
 
سوال 37 کنکور ارشد 93
سوال 37 کنکور ارشد 93سوال 37 کنکور ارشد 93
سوال 37 کنکور ارشد 93
 

گرامرهای مستقل از متن

  • 1. ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬ ‫پشته‬ ‫های‬ ‫ماشین‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫همراه‬ ‫به‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬،‫ای‬ ‫های‬ ‫فرم‬‫باشید‬ ‫داشته‬ ‫منظم‬ ‫های‬ ‫زبان‬ ‫و‬ ‫نرمال‬.
  • 5. ‫پردازیم‬ ‫می‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬ ‫زبان‬ ‫خواص‬ ‫بررسی‬ ‫به‬ ‫آموزشی‬ ‫ویدئوی‬ ‫این‬ ‫در‬.‫باشید‬ ‫داشته‬ ‫منظم‬ ‫های‬ ‫زبان‬ ‫و‬ ‫نرمال‬ ‫های‬ ‫ای،فرم‬ ‫پشته‬ ‫های‬ ‫ماشین‬ ‫مباحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫همراه‬ ‫به‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬. ‫کرد‬ ‫اشاره‬ ‫روبرو‬ ‫موارد‬ ‫به‬ ‫میتوان‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬‫زبان‬ ‫خواص‬ ‫جمله‬ ‫از‬.‫یک‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫هر‬ ‫برای‬PDA‫دارد‬ ‫وجود‬.‫یک‬ ‫توان‬ ‫می‬ ‫گریباخ‬ ‫فرم‬ ‫از‬ ‫استفاده‬ ‫با‬PDA‫کرد‬ ‫طراحی‬.‫زبان‬ ‫یک‬ ،‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫یک‬ ‫و‬ ‫منظم‬ ‫زبان‬ ‫یک‬ ‫اشتراک‬ ‫همچنین‬ ‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬. ‫اگر‬ ‫همچنین‬L1،‫باشد‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫زبان‬ ‫یک‬ 𝐿1 ∗ ‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬. LR‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬. ‫نیست‬ ‫بسته‬ ‫متمم‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫این‬ ‫اما‬. ‫اگر‬L1‫و‬L2،‫باشند‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫های‬ ‫زبان‬ ‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ً‫ا‬‫حتم‬ ‫دو‬ ‫آن‬ ‫اجتماع‬. ‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫دو‬ ‫آن‬ ‫اتصال‬. ‫نیست‬ ‫بسته‬ ‫اشتراک‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫و‬. ‫بنویسیم‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫برو‬ ‫رو‬ ‫زبان‬ ‫برای‬ ‫خواهیم‬ ‫می‬ ‫حال‬. ‫از‬ ‫هایی‬‫رشته‬a،b‫و‬c‫بصورت‬ ‫رشته‬ ‫که‬ ‫بطوری‬xcx‫و‬ ‫نباشد‬x‫از‬ ‫مختلف‬ ‫های‬‫جایگشت‬ ‫شامل‬ ‫هم‬a‫و‬b‫است‬. ‫صورت‬ ‫به‬ ‫که‬ ‫هایی‬ ‫رشته‬ ‫جز‬ ‫به‬ ‫ها‬ ‫رشته‬ ‫تمام‬ ‫شامل‬ ‫زبان‬ ‫این‬xcx‫شود‬ ‫می‬ ،‫است‬. ‫نوشت‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫چند‬ ‫اجتماع‬ ‫صورت‬ ‫به‬ ‫توان‬ ‫می‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬ ‫های‬ ‫ویژگی‬ ‫به‬ ‫توجه‬ ‫با‬ ‫را‬ ‫زبان‬ ‫این‬ ‫گرامر‬.‫که‬ ‫ای‬ ‫گونه‬ ‫به‬:‫منظم‬ ‫زبان‬L1‫حرف‬ ‫تکرار‬ ‫تعداد‬ ‫که‬ ‫است‬ ‫های‬ ‫رشته‬ ‫شامل‬c‫حرف‬ ‫فقط‬ ‫یعنی‬ ‫نباشد‬ ‫یک‬ ‫برابر‬c‫مهم‬ ‫ماشین‬ ‫برای‬ ‫حروف‬ ‫و‬ ‫باشد‬‫می‬a‫و‬b‫ندارند‬ ‫محدودیتی‬ ‫هیچ‬.‫از‬ ‫بیش‬ ‫و‬ ‫صفر‬ ‫شامل‬ ‫تواند‬ ‫می‬ ‫ورودی‬ ‫های‬ ‫رشته‬ ‫پس‬2‫حرف‬c‫باشد‬. ‫کنید‬ ‫توجه‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫به‬.‫عدد‬ ‫دو‬ ‫مشاهده‬ ‫از‬ ‫بعد‬ ‫ماشین‬ ‫همچنین‬ ‫و‬ ‫بوده‬ ‫نهایی‬ ‫وضعیت‬ ‫یک‬ ‫تواند‬ ‫می‬ ‫ماشین‬ ‫اولیه‬ ‫وضعیت‬c‫از‬ ‫تعدادی‬ ‫هر‬ ‫بین‬ ‫این‬ ‫در‬ ‫و‬ ‫برود‬ ‫دوم‬ ‫نهایی‬ ‫وضعیت‬ ‫به‬ ‫تواند‬ ‫می‬a‫و‬b‫شود‬ ‫دیده‬ ‫تواند‬ ‫می‬. ‫زبان‬L2‫بصورت‬ ‫هایی‬ ‫رشته‬ ‫شامل‬x1cx2‫رشته‬ ‫طول‬ ‫که‬ ‫بطوری‬ ،‫است‬x1‫از‬ ‫قبل‬ ‫که‬c‫رشته‬ ‫طول‬ ‫از‬ ‫کوچکتر‬ ‫باشد‬ ‫می‬x2‫از‬ ‫بعد‬ ‫که‬c‫باشد‬ ،‫است‬.‫از‬ ‫استفاده‬ ‫با‬ ‫را‬ ‫زبان‬ ‫این‬PDA‫کرد‬ ‫طراحی‬ ‫توان‬ ‫می‬. ‫مشاهده‬ ‫هربار‬ ‫ازای‬ ‫به‬ ‫اول‬ ‫وضعیت‬ ‫در‬ ‫ماشین‬ ،‫کنید‬ ‫می‬ ‫مشاهده‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫در‬ ‫که‬ ‫همانطور‬a‫یا‬b‫حرف‬ ‫یک‬A‫حرف‬ ‫رشته‬ ‫ورودی‬ ‫اینکه‬ ‫تا‬ ‫کند‬ ‫می‬ ‫اضافه‬ ‫پشته‬ ‫باالی‬ ‫به‬c‫شود‬.‫هر‬ ‫ازای‬ ‫به‬ ‫که‬ ‫بطوری‬ ‫شود‬ ‫می‬ ‫جدیدی‬ ‫حالت‬ ‫وارد‬ ‫ماشین‬ ‫شرایطی‬ ‫چنین‬ ‫در‬ ‫حرف‬a‫یا‬b‫حرف‬ ‫یک‬ ‫ورودی‬ ‫رشته‬ ‫از‬A‫شود‬ ‫خالی‬ ‫پشته‬ ‫اینکه‬ ‫تا‬ ‫کند‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬. ‫از‬ ‫تر‬ ‫اضافه‬ ‫حرف‬ ‫یک‬ ‫حتی‬ ‫دیدن‬ ‫با‬ ‫شرایطی‬ ‫چنین‬ ‫در‬a‫یا‬b‫شود‬ ‫می‬ ‫اول‬ ‫رشته‬ ‫از‬ ‫بزرگتر‬ ‫دوم‬ ‫رشته‬ ‫طول‬ ‫چون‬ ‫رود‬ ‫می‬ ‫نهایی‬ ‫حالت‬ ‫به‬ ‫ماشین‬. ‫زبان‬L3‫بصورت‬ ‫هایی‬ ‫رشته‬ ‫شامل‬x1cx2‫رشته‬ ‫طول‬ ‫که‬ ‫است‬x1‫از‬ ‫بزرگتر‬x2‫باشد‬ ‫می‬.‫برای‬ ‫یک‬ ‫از‬ ‫بیش‬ ‫طول‬ ‫داشتن‬ ‫حالت‬ ‫این‬ ‫در‬x1‫حرف‬ ‫وجود‬ ‫و‬c‫باشد‬ ‫می‬ ‫گرامر‬ ‫این‬ ‫مهم‬ ‫اجزای‬ ‫از‬ ‫ورودی‬ ‫رشته‬ ‫در‬. ‫حرف‬ ‫هر‬ ‫ازای‬ ‫به‬ ‫ماشین‬ ‫در‬a‫یا‬b‫حرف‬ ‫اینکه‬ ‫از‬ ‫قبل‬c‫حرف‬ ‫یک‬ ‫شود‬ ‫مشاهده‬A‫شود‬ ‫می‬ ‫پوش‬ ‫پشته‬ ‫در‬.‫حرف‬ ‫دیدن‬ ‫از‬ ‫بعد‬c‫کند‬ ‫می‬ ‫پیدا‬ ‫جدیدی‬ ‫وضعیت‬ ‫ماشین‬ ،‫ورودی‬ ‫در‬.‫حروف‬ ‫دیدن‬ ‫با‬ ‫یا‬ ‫که‬ ‫ای‬ ‫گونه‬ ‫به‬a‫یا‬b‫حرف‬ ‫یک‬A‫اینکه‬ ‫یا‬ ‫شود‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬ ‫رشته‬ ‫در‬ ‫بیشتری‬ ‫حرف‬ ‫تعداد‬ ‫یعنی‬ ،‫رفت‬ ‫نهایی‬ ‫وضعیت‬ ‫به‬ ‫توان‬ ‫می‬ ‫نباشد‬ ‫خالی‬ ‫پشته‬ ‫اینکه‬ ‫ازای‬ ‫به‬ ‫نداشت‬ ‫وجود‬ ‫دیگری‬ ‫ورودی‬ ‫هیچ‬ ‫اگر‬x1‫باشد‬ ‫شده‬ ‫مشاهده‬. ‫زبان‬L4‫طرف‬ ‫دو‬ ‫در‬ ‫ها‬ ‫رشته‬ ‫زیر‬ ‫طول‬ ‫که‬ ‫کند‬ ‫می‬ ‫فراهم‬ ‫را‬ ‫ها‬ ‫رشته‬ ‫از‬ ‫ای‬‫مجموعه‬ ،c‫از‬ ‫بعد‬ ‫که‬ ‫آنجا‬ ‫از‬ ‫ولی‬ ،‫باشند‬ ‫مساوی‬ ‫توانند‬ ‫می‬ ‫شرایطی‬ ‫در‬x1‫حرف‬ ‫یک‬ ،‫رشته‬ ‫چپ‬ ‫سمت‬ ‫در‬a‫از‬ ‫بعد‬ ‫رشته‬ ‫راست‬ ‫سمت‬ ‫در‬ ‫و‬x2‫حرف‬ ‫یک‬b‫این‬ ‫کننده‬ ‫تضمین‬ ،‫آمده‬ ‫طول‬ ‫چون‬ ،‫نیستند‬ ‫برابر‬ ‫هم‬ ‫با‬ ‫ها‬ ‫رشته‬ ‫زیر‬ ‫که‬ ‫است‬x1‫با‬ ‫برابر‬x2‫است‬. ‫ازای‬ ‫به‬ ‫شود‬ ‫می‬ ‫مالحظه‬ ‫دیاگرام‬ ‫در‬ ‫که‬ ‫همانطور‬a‫و‬b‫زیررشته‬ ‫در‬ ‫شده‬ ‫مشاهده‬ ‫های‬x1‫حرف‬A‫رشته‬ ‫وارد‬ ‫که‬ ‫هنگامی‬ ‫و‬ ‫شود‬ ‫می‬ ‫پوش‬ ‫پشته‬ ‫در‬x2‫حرف‬ ‫یک‬ ‫ورودی‬ ‫هر‬ ‫ازای‬ ‫به‬ ،‫شد‬A‫کند‬ ‫می‬ ‫پاپ‬ ‫پشته‬ ‫از‬.‫ورودی‬ ‫با‬ay1c‫و‬by2‫پاپ‬ ‫پشته‬ ‫از‬ ‫حرفی‬ ‫هیچ‬ ‫شود‬ ‫نمی‬. ‫زبان‬L5‫به‬ ‫شبیه‬L4‫حرف‬ ‫اول‬ ‫رشته‬ ‫در‬ ‫که‬ ‫تفاوت‬ ‫این‬ ‫با‬ ‫است‬b‫حرف‬ ‫دوم‬ ‫رشته‬ ‫در‬ ‫و‬a‫دارد‬ ‫وجود‬. ‫کنید‬ ‫توجه‬ ‫آن‬ ‫حالت‬ ‫دیاگرام‬ ‫به‬. ‫زبان‬ ‫گرامر‬ ‫شود‬ ‫می‬ ‫مشاهده‬ ‫که‬ ‫همانطور‬L‫است‬ ‫شده‬ ‫مطرح‬ ‫زبان‬ ‫پنج‬ ‫اجتماع‬ ‫شامل‬.‫رفت‬ ‫توان‬ ‫می‬ ‫ها‬ ‫زبان‬ ‫از‬ ‫کدام‬ ‫هر‬ ‫به‬ ‫اولیه‬ ‫وضعیت‬ ‫از‬ ‫هم‬ ‫حالت‬ ‫دیاگرام‬ ‫در‬. ‫زبان‬ ‫متمم‬L‫زبان‬ ،wcw‫گرامر‬ ‫متمم‬ ‫که‬ ‫گفت‬ ‫توان‬ ‫نمی‬ ‫حتم‬ ‫طور‬ ‫به‬ ،‫نیستند‬ ‫بسته‬ ‫متمم‬ ‫عمل‬ ‫به‬ ‫نسبت‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامرهای‬ ‫چون‬ ‫ولی‬ ‫است‬wcw‫است‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫هم‬. ‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬ ‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬: http://minidars.ir/?p=1366
  • 6. ‫بنویسید‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬ ‫زیر‬ ‫زبان‬ ‫برای‬. L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ } ‫مثال‬:
  • 7. L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 8. L1= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝑛 𝑐 (𝜔) ≠ 1} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 9. L1= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝑛 𝑐 (𝜔) ≠ 1} a , b a , b a , b , c cc L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 10. L2= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 < |𝑥2|} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 11. L2= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 < |𝑥2|} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ } a , λ / A b , λ / A a , b c a , A / λ b , A / λ a , z / z b , z / z
  • 12. L3= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 > |𝑥2|} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 13. L3= 𝑥1 𝑐𝑥2 𝑥1, 𝑥2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 > |𝑥2|} a , λ / A b , λ / A c a , A / λ b , A / λ λ , A / A L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 14. L4= 𝑥1 𝑎𝑦1 𝑐𝑥2 𝑏𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 = |𝑥2|} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 15. L4= 𝑥1 𝑎𝑦1 𝑐𝑥2 𝑏𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 = |𝑥2|} a , λ / A b , λ / A a , b a a , b c a , A / λ b , A / λ b , z / z L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 16. L5= 𝑥1 𝑏𝑦1 𝑐𝑥2 𝑎𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 = |𝑥2|} L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 17. L5= 𝑥1 𝑏𝑦1 𝑐𝑥2 𝑎𝑦2 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ 𝑎, 𝑏 ∗ , 𝑥1 = |𝑥2|} a , λ / A b , λ / A a , b b a , b c a , A / λ b , A / λ a , z / z L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 18. 𝐿 = 𝐿1 ∪ 𝐿2 ∪ 𝐿3 ∪ 𝐿4 ∪ 𝐿5 λ λ λ λ λ L1 L2 L3 L4 L5 L= 𝜔 ∈ 𝑎, 𝑏, 𝑐 ∗ 𝜔 ≠ 𝑥𝑐𝑥 , 𝑥 ∈ {𝑎, 𝑏}∗ }
  • 19. ‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬ ‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬: http://minidars.ir/?p=1366
  • 20. ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫گرا‬ ‫کردن‬ ‫نرمال‬‫مرها‬ ‫داشته‬‫باشید‬.‫توانید‬ ‫می‬ ‫آموزش‬ ‫این‬ ‫پایان‬ ‫در‬ ‫شما‬‫بسیار‬ ‫تسلط‬‫مناسبی‬‫ا‬‫تبدیل‬ ‫ز‬ ‫به‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬‫آورید‬ ‫دست‬. ‫درس‬ ‫مینی‬ ‫دیگر‬ ‫های‬ ‫آموزش‬