SlideShare a Scribd company logo
1 of 26
Download to read offline
‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬
‫چامسکی‬ ‫نرمال‬ ‫فرم‬
‫مبحث‬ ‫بر‬ ‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫گرا‬ ‫کردن‬ ‫نرمال‬‫مرها‬
‫داشته‬‫باشید‬.‫توانید‬ ‫می‬ ‫آموزش‬ ‫این‬ ‫پایان‬ ‫در‬ ‫شما‬‫بسیار‬ ‫تسلط‬‫مناسبی‬‫ا‬‫تبدیل‬ ‫ز‬
‫به‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬‫آورید‬ ‫دست‬.
‫چامسکی‬ ‫نرمال‬ ‫فرم‬
‫یک‬‫گرامر‬‫مستقل‬‫از‬‫متن‬G‫را‬‫یک‬‫فرم‬‫نرمال‬‫چامسکی‬‫گویند‬‫می‬‫اگر‬
A,B,C ∈ 𝑉
a ∈ T
G=(V,T,S,P)
A BC
A a
‫تبد‬ ‫مراحل‬‫ی‬‫به‬ ‫ل‬‫فرم‬‫چامس‬ ‫نرمال‬‫کی‬
1-‫حذف‬‫قوان‬‫ی‬‫ن‬λ
2-‫مانند‬ ‫یکه‬ ‫قوانین‬ ‫حذف‬A B
3-‫مفید‬ ‫غیر‬ ‫متغیر‬ ‫حذف‬
4-‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫با‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬2‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬
‫بیان‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬ ‫نحوه‬ ‫سپس‬ ‫و‬ ‫کرده‬ ‫مطرح‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫داریم‬ ‫قصد‬ ‫آموزشی‬ ‫ویدیویی‬ ‫این‬ ‫در‬‫کن‬‫یم‬.‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫نرمال‬ ‫مبحث‬ ‫بر‬
‫باشید‬ ‫داشته‬ ‫گرامرها‬ ‫کردن‬.
‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬G‫دو‬ ‫شامل‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫که‬ ‫اینصورت‬ ‫به‬ ‫باشد؛‬ ‫روبرو‬ ‫های‬‫شکل‬ ‫از‬ ‫یکی‬ ‫به‬ ‫گرامر‬ ‫از‬ ‫قانون‬ ‫هر‬ ‫اگر‬ ،‫گوییم‬ ‫می‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫یک‬ ‫را‬‫م‬‫است‬ ‫ترمینال‬ ‫یک‬ ‫یا‬ ‫و‬ ‫تغیر‬.
‫باید‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫تبدیل‬ ‫برای‬4‫داد‬ ‫انجام‬ ‫را‬ ‫روبرو‬ ‫اقدام‬.
1-‫قوان‬ ‫حذف‬‫ی‬‫ن‬λ
2-‫مانند‬ ‫یکه‬ ‫قوانین‬ ‫حذف‬A‫دهد‬ ‫می‬ ‫نتیجه‬B
3-‫غیرمفید‬ ‫متغیر‬ ‫حذف‬
‫و‬ ‫شود‬ ‫می‬ ‫ساده‬ ‫ممکن‬ ‫جای‬ ‫تا‬ ‫گرامر‬ ‫عمل‬ ‫سه‬ ‫این‬ ‫با‬ ‫که‬
4-‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫با‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬2‫چامسکی‬ ‫فرم‬ ‫به‬
‫کنیم‬ ‫می‬ ‫بررسی‬ ‫هم‬ ‫با‬ ‫را‬ ‫مثال‬ ‫یک‬ ‫موضوع‬ ‫این‬ ‫بهتر‬ ‫درک‬ ‫برای‬.‫کنیم‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫روبرو‬ ‫گرامر‬ ‫خواهیم‬ ‫می‬.
‫قوانین‬ ‫حذف‬ ‫تبدیل‬ ‫برای‬ ‫اول‬ ‫گام‬λ‫باشد‬ ‫می‬.
‫حذف‬ ‫برای‬λ‫آن‬ ‫جای‬ ‫به‬ ‫باید‬ ‫شود‬ ‫ظاهر‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫متغیر‬ ‫که‬ ‫جایی‬ ‫هر‬λ‫گردد‬ ‫مشخص‬ ‫جدید‬ ‫قوانین‬ ‫تا‬ ‫شود‬ ‫گذاشته‬.‫متغیرهای‬ ‫اینجا‬ ‫در‬A‫و‬B،λ‫که‬ ‫جایی‬ ‫هر‬ ‫قوانین‬ ‫تمام‬ ‫در‬ ‫پس‬ ‫کنند‬ ‫می‬ ‫تولید‬B‫یا‬A‫شد‬ ‫ظاهر‬λ‫می‬
‫گذاریم‬.
‫شدن‬ ‫اضافه‬ ‫عنوان‬ ‫به‬ ‫سبز‬ ‫رنگ‬ ‫و‬ ‫الگوریتم‬ ‫از‬ ‫مرحله‬ ‫این‬ ‫در‬ ‫متغیر‬ ‫حذف‬ ‫عنوان‬ ‫به‬ ‫قرمز‬ ‫رنگ‬ ‫از‬ ‫شده‬ ‫انجام‬ ‫مراحل‬ ‫طی‬ ‫در‬ ‫باشید‬ ‫داشته‬ ‫توجه‬‫قان‬‫است‬ ‫قوانین‬ ‫مجموع‬ ‫به‬ ‫جدید‬ ‫ون‬.
‫نماییم‬ ‫حذف‬ ‫را‬ ‫یکه‬ ‫قوانین‬ ‫باید‬ ‫مرحله‬ ‫این‬ ‫در‬.‫یکه‬ ‫قانون‬ ‫دو‬ ‫گرامر‬ ‫این‬ ‫در‬A‫و‬B‫شود‬ ‫جایگزین‬ ‫و‬ ‫حذف‬ ‫باید‬ ‫که‬ ‫دارد‬ ‫وجود‬.
‫کردیم‬ ‫جایگزین‬ ‫مربوطه‬ ‫قوانین‬ ‫با‬ ‫و‬ ‫حذف‬ ‫ها‬ ‫آن‬ ‫که‬.
‫کنیم‬ ‫حذف‬ ‫بخواهیم‬ ‫که‬ ‫ندارد‬ ‫وجود‬ ‫گرامر‬ ‫در‬ ‫غیرمفید‬ ‫قوانین‬.‫کرد‬ ‫تبدیل‬ ‫را‬ ‫نیستند‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫که‬ ‫قوانینی‬ ‫باید‬ ‫سوم‬ ‫گام‬ ‫در‬ ‫پس‬.‫مرحله‬ ‫این‬ ‫در‬ ‫گرامر‬ ‫این‬ ‫در‬4‫چامسکی‬ ‫فرم‬ ‫به‬ ‫بایست‬ ‫می‬ ‫که‬ ‫دارد‬ ‫وجود‬ ‫قوانین‬ ‫از‬ ‫مورد‬
‫شود‬ ‫تبدیل‬.‫شود‬ ‫می‬ ‫دیده‬ ‫پایانی‬ ‫عنصر‬ ‫آنها‬ ‫در‬ ‫که‬ ‫قوانینی‬.
‫ترمینال‬ ‫به‬ ‫متغیر‬ ‫یک‬ ‫از‬ ‫که‬ ‫کنیم‬ ‫می‬ ‫تعریف‬ ‫جدیدی‬ ‫قوانین‬ ‫ابتدا‬ ‫منظور‬ ‫بدین‬a‫ترمینال‬ ‫برای‬ ‫همچنین‬ ‫و‬ ‫برود‬b‫کنیم‬ ‫می‬ ‫تعریف‬ ‫دیگری‬ ‫متغیر‬.
‫متغیر‬Ua‫و‬Ub‫کنیم‬ ‫می‬ ‫جایگزین‬ ‫قبلی‬ ‫قوانین‬ ‫در‬ ‫را‬.‫شدند‬ ‫تصحیح‬ ،‫نبودند‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫که‬ ‫قوانینی‬ ‫از‬ ‫مورد‬ ‫چهار‬ ‫متغیر‬ ‫جایگزینی‬ ‫با‬ ‫اینجا‬ ‫در‬.
‫از‬ ‫بیشتر‬ ‫نباید‬ ‫قوانین‬ ‫راست‬ ‫طرف‬ ‫جمله‬ ‫طول‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫در‬2‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫طول‬ ‫که‬ ‫قانون‬ ‫چهار‬ ‫این‬ ‫در‬ ‫پس‬ ،‫باشد‬2‫مانده‬ ‫باقی‬ ‫متغیرهای‬ ‫ازای‬ ‫به‬ ‫و‬ ‫داشته‬ ‫نگه‬ ‫را‬ ‫چپ‬ ‫سمت‬ ‫از‬ ‫متغیر‬ ‫اولین‬ ،‫است‬
‫کنیم‬ ‫می‬ ‫اضافه‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫قانون‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫یک‬.‫دهیم‬ ‫می‬ ‫ادامه‬ ‫را‬ ‫روال‬ ‫این‬ ‫نبود‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫اگر‬ ‫جدید‬ ‫قانون‬.
‫شد‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫تبدیل‬ ‫گرامر‬ ‫ترتیب‬ ‫این‬ ‫به‬.
‫کنیم‬ ‫می‬ ‫بررسی‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫تبدیل‬ ‫روال‬ ‫دیگر‬ ‫مثال‬ ‫یک‬ ‫با‬ ‫اکنون‬.
‫حذف‬ ‫برای‬ ‫مرحله‬ ‫این‬ ‫در‬λ‫شود‬ ‫می‬ ‫اضافه‬ ‫جدید‬ ‫قانون‬ ‫سه‬.
‫متغیر‬ ‫گرامر‬ ‫این‬ ‫در‬A‫کرد‬ ‫حذف‬ ‫باید‬ ،‫دارد‬ ‫را‬ ‫متغیر‬ ‫این‬ ‫که‬ ‫قوانینی‬ ‫تمام‬ ‫پس‬ ‫دارد‬ ‫وجود‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫در‬ ‫قوانینش‬ ‫تمام‬ ‫در‬ ‫زیرا‬ ‫است‬ ‫مفید‬ ‫غیر‬ ‫متغیر‬ ‫یک‬.
‫قا‬ ‫و‬ ‫متغیر‬ ،‫نکرده‬ ‫تعریف‬ ‫تکی‬ ‫بصورت‬ ‫را‬ ‫آنها‬ ،‫خاص‬ ‫متغیر‬ ‫یک‬ ‫که‬ ‫هایی‬ ‫ترمینال‬ ‫برای‬ ‫ابتدا‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬ ‫برای‬‫نون‬‫کنیم‬ ‫می‬ ‫ایجاد‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬.‫ترمی‬ ‫دو‬ ‫اینجا‬ ‫در‬‫نال‬a‫و‬b‫هیچ‬ ‫بوسیله‬
‫اند‬ ‫نشده‬ ‫تعریف‬ ‫تکی‬ ‫صورت‬ ‫به‬ ‫متغیری‬.
‫کنیم‬ ‫می‬ ‫جایگذاری‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫متغیر‬ ‫نباشند‬ ‫تکی‬ ‫بصورت‬ ‫ها‬ ‫ترمینال‬ ‫که‬ ‫قوانینی‬ ‫در‬.
‫از‬ ‫بیش‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫که‬ ‫قوانینی‬ ‫در‬2‫آوریم‬ ‫می‬ ‫در‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ،‫آن‬ ‫به‬ ‫مربوط‬ ‫قوانین‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫تعریف‬ ‫با‬ ‫است‬ ‫متغیر‬.
‫به‬ ‫مربوط‬ ‫قانون‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫یک‬ ‫مانده‬ ‫باقی‬ ‫متغیرهای‬ ‫ازای‬ ‫به‬ ‫و‬ ‫داشته‬ ‫نگه‬ ‫را‬ ‫چپ‬ ‫سمت‬ ‫از‬ ‫متغیر‬ ‫اولین‬ ‫عبارات‬ ‫این‬ ‫در‬ ‫که‬ ‫صورت‬ ‫این‬ ‫به‬‫آن‬‫کنیم‬ ‫می‬ ‫اضافه‬ ‫را‬.‫نبو‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫اگر‬ ‫جدید‬ ‫قانون‬‫ادامه‬ ‫را‬ ‫روال‬ ‫این‬ ‫د‬
‫دهیم‬ ‫می‬.
‫کنیم‬ ‫می‬ ‫جایگزین‬ ‫هم‬ ‫را‬ ‫قانون‬ ‫این‬ ‫پس‬ ،‫نیست‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫قانون‬ ‫یک‬ ‫شده‬ ‫ایجاد‬ ‫قوانین‬ ‫از‬ ‫شود‬ ‫می‬ ‫مشاهده‬ ‫که‬ ‫همانطور‬.
‫شد‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫ترتیب‬ ‫این‬ ‫به‬.
‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬
‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬:
http://minidars.ir/?p=1375
‫مثال‬:‫کنید‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫زیر‬ ‫گرامر‬.
S → A | B
A → aBa | λ
B → bAb | λ
‫نکته‬:‫از‬ ‫عبارات‬ ‫حذف‬ ‫برای‬‫قرمز‬ ‫رنگ‬‫از‬ ‫و‬ ‫شده‬ ‫استفاده‬‫سبز‬ ‫رنگ‬‫شده‬ ‫اضافه‬ ‫جدید‬ ‫عبارات‬ ‫برای‬.
‫اول‬ ‫گام‬:‫قوانین‬ ‫حذف‬λ
S → A | B | aBa | bAb
A → aBa | λ | aa
B → bAb | λ | bb
‫دوم‬ ‫گام‬:‫یکه‬ ‫قوانین‬ ‫حذف‬
S → A | B | aBa | bAb
A → aBa | aa
B → bAb | bb
‫دوم‬ ‫گام‬:‫یکه‬ ‫قوانین‬ ‫حذف‬
S → aa | bb | aBa | bAb
A → aBa | aa
B → bAb | bb
‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → aa | bb | aBa | bAb
A → aBa | aa
B → bAb | bb
‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → aa | bb | aBa | bAb
A → aBa | aa
B → bAb | bb
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → Ua Ua | Ub Ub | Ua B Ua | Ub A Ub
A → Ua B Ua | Ua Ua
B → Ub A Ub | Ub Ub
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → Ua Ua | Ub Ub | Ua B Ua | Ub A Ub
A → Ua B Ua | Ua Ua
B → Ub A Ub | Ub Ub
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → Ua Ua | Ub Ub | Ua C | Ub D
A → Ua C | Ua Ua
B → Ub D | Ub Ub
Ua → a Ub → b
C → B Ua D → A Ub
‫چامسکی‬ ‫نرمال‬ ‫فرم‬:
S → Ua Ua | Ub Ub | Ua C | Ub D
A → Ua C | Ua Ua
B → Ub D | Ub Ub
Ua → a
Ub → b
C → B Ua
D → A Ub
S → CaB | bA | aBa
A → Asa | Aba | bSCA
B → CaS | ba | λ | bSBA
C → CbS | CabC | baC | bBS | Sa
‫دوم‬ ‫مثال‬:‫چامسکی‬ ‫فرم‬ ‫به‬ ‫زیر‬ ‫گرامر‬ ‫تبدیل‬
S → CaB | bA | aBa | aa
A → Asa | Aba | bSCA
B → CaS | ba | λ | bSBA | bSA
C → CbS | CabC | baC | bBS | Sa | bS
‫اول‬ ‫گام‬:‫قوانین‬ ‫حذف‬λ
S → CaB | bA | aBa | aa
A → Asa | Aba | bSCA
B → CaS | ba | bSBA | bSA
C → CbS | CabC | baC | bBS | Sa | bS
‫دوم‬ ‫گام‬:‫حذف‬‫مفید‬ ‫غیر‬ ‫متغیر‬
S → CaB | aBa | aa
B → CaS | ba
C → CbS | CabC | baC | bBS | Sa | bS
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C Ua B | Ua B Ua | Ua Ua
B → C Ua S | Ub Ua
C → C Ub S | C Ua Ub C | Ub Ua C | Ub BS | S Ua | Ub S
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C Ua B | Ua B Ua | Ua Ua
B → C Ua S | Ub Ua
C → C Ub S | C Ua Ub C | Ub Ua C | Ub BS | S Ua | Ub S
Ua → a
Ub → b
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C D| Ua E| Ua Ua B → C F | Ub Ua
C → C G| C H| Ub K| Ub L | S Ua | Ub S
Ua → a Ub → b
D → Ua B E → B Ua
F → Ua S G → Ub S
H → Ua UbC K → Ua C
L → BS
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C D| Ua E| Ua Ua B → C F | Ub Ua
C → C G| C H| Ub K| Ub L | S Ua | Ub S
Ua → a Ub → b
D → Ua B E → B Ua
F → Ua S G → Ub S
H → Ua UbC K → Ua C
L → BS
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C D| Ua E| Ua Ua B → C F | Ub Ua
C → C G| C H| Ub K| Ub L | S Ua | Ub S
Ua → a Ub → b
D → Ua B E → B Ua
F → Ua S G → Ub S
H → Ua M K → Ua C
L → BS M → Ub C
‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
S → C D| Ua E| Ua Ua
B → C F | Ub Ua
C → C G| C H| Ub K| Ub L | S Ua | Ub S
Ua → a Ub → b
D → Ua B E → B Ua
F → Ua S G → Ub S
H → Ua M K → Ua C
L → BS M → Ub C
‫چامسکی‬ ‫نرمال‬ ‫فرم‬:
‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬
‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬:
http://minidars.ir/?p=1375
‫ای‬‫پشته‬ ‫های‬‫ماشین‬
‫دا‬ ‫ای‬ ‫پشته‬ ‫های‬ ‫ماشین‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫شته‬
‫باشید‬.‫مبحث‬ ‫این‬ ‫از‬ ‫مناسبی‬ ‫درک‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫بعد‬ ‫شما‬ ‫رود‬ ‫می‬ ‫انتظار‬
‫آورید‬ ‫دست‬ ‫به‬.
‫درس‬ ‫مینی‬ ‫دیگر‬ ‫های‬ ‫آموزش‬

More Related Content

Viewers also liked

Multiplayer Java Game
Multiplayer Java GameMultiplayer Java Game
Multiplayer Java Gamekarim baidar
 
CSS'de Temel Özellikler
CSS'de Temel ÖzelliklerCSS'de Temel Özellikler
CSS'de Temel Özelliklerozgrymn
 
Moving Toward Improved Measurement of Malaria Mortality at the Population Level
Moving Toward Improved Measurement of Malaria Mortality at the Population LevelMoving Toward Improved Measurement of Malaria Mortality at the Population Level
Moving Toward Improved Measurement of Malaria Mortality at the Population LevelMEASURE Evaluation
 
A dignidade da pessoa humana e a realidade brasileira
A dignidade da pessoa humana e a realidade brasileiraA dignidade da pessoa humana e a realidade brasileira
A dignidade da pessoa humana e a realidade brasileiraLuci Bonini
 
El laico y su compromiso en la nueva evangelización
El laico y su compromiso en la nueva evangelizaciónEl laico y su compromiso en la nueva evangelización
El laico y su compromiso en la nueva evangelizaciónAula Virtual
 
Phrasal verbs b2 ana
Phrasal verbs b2 anaPhrasal verbs b2 ana
Phrasal verbs b2 anaAna Mena
 
Writing a narrative ana
Writing a narrative anaWriting a narrative ana
Writing a narrative anaAna Mena
 
High flow nasal cannula
High flow nasal cannulaHigh flow nasal cannula
High flow nasal cannulaSCGH ED CME
 
Implementing the Population Registration System: Progress Towards a Data Revo...
Implementing the Population Registration System: Progress Towards a Data Revo...Implementing the Population Registration System: Progress Towards a Data Revo...
Implementing the Population Registration System: Progress Towards a Data Revo...MEASURE Evaluation
 
CVC Workshop (short)
CVC Workshop (short)CVC Workshop (short)
CVC Workshop (short)SCGH ED CME
 
Colles' fracture reduction
Colles' fracture reductionColles' fracture reduction
Colles' fracture reductionSCGH ED CME
 
Network programming in java - PPT
Network programming in java - PPTNetwork programming in java - PPT
Network programming in java - PPTkamal kotecha
 

Viewers also liked (14)

Multiplayer Java Game
Multiplayer Java GameMultiplayer Java Game
Multiplayer Java Game
 
CSS'de Temel Özellikler
CSS'de Temel ÖzelliklerCSS'de Temel Özellikler
CSS'de Temel Özellikler
 
Moving Toward Improved Measurement of Malaria Mortality at the Population Level
Moving Toward Improved Measurement of Malaria Mortality at the Population LevelMoving Toward Improved Measurement of Malaria Mortality at the Population Level
Moving Toward Improved Measurement of Malaria Mortality at the Population Level
 
Lactancia materna
Lactancia maternaLactancia materna
Lactancia materna
 
A dignidade da pessoa humana e a realidade brasileira
A dignidade da pessoa humana e a realidade brasileiraA dignidade da pessoa humana e a realidade brasileira
A dignidade da pessoa humana e a realidade brasileira
 
El laico y su compromiso en la nueva evangelización
El laico y su compromiso en la nueva evangelizaciónEl laico y su compromiso en la nueva evangelización
El laico y su compromiso en la nueva evangelización
 
Phrasal verbs b2 ana
Phrasal verbs b2 anaPhrasal verbs b2 ana
Phrasal verbs b2 ana
 
Writing a narrative ana
Writing a narrative anaWriting a narrative ana
Writing a narrative ana
 
High flow nasal cannula
High flow nasal cannulaHigh flow nasal cannula
High flow nasal cannula
 
Implementing the Population Registration System: Progress Towards a Data Revo...
Implementing the Population Registration System: Progress Towards a Data Revo...Implementing the Population Registration System: Progress Towards a Data Revo...
Implementing the Population Registration System: Progress Towards a Data Revo...
 
Pathology - Hemostasis
Pathology - HemostasisPathology - Hemostasis
Pathology - Hemostasis
 
CVC Workshop (short)
CVC Workshop (short)CVC Workshop (short)
CVC Workshop (short)
 
Colles' fracture reduction
Colles' fracture reductionColles' fracture reduction
Colles' fracture reduction
 
Network programming in java - PPT
Network programming in java - PPTNetwork programming in java - PPT
Network programming in java - PPT
 

More from minidars

گرامرهای مستقل از متن
گرامرهای مستقل از متنگرامرهای مستقل از متن
گرامرهای مستقل از متن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
 

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
 

تبدیل گرامر مستقل از متن به فرم نرمال چامسکی

  • 1. ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫گرا‬ ‫کردن‬ ‫نرمال‬‫مرها‬ ‫داشته‬‫باشید‬.‫توانید‬ ‫می‬ ‫آموزش‬ ‫این‬ ‫پایان‬ ‫در‬ ‫شما‬‫بسیار‬ ‫تسلط‬‫مناسبی‬‫ا‬‫تبدیل‬ ‫ز‬ ‫به‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬‫آورید‬ ‫دست‬.
  • 3. ‫تبد‬ ‫مراحل‬‫ی‬‫به‬ ‫ل‬‫فرم‬‫چامس‬ ‫نرمال‬‫کی‬ 1-‫حذف‬‫قوان‬‫ی‬‫ن‬λ 2-‫مانند‬ ‫یکه‬ ‫قوانین‬ ‫حذف‬A B 3-‫مفید‬ ‫غیر‬ ‫متغیر‬ ‫حذف‬ 4-‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫با‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬2‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬
  • 4. ‫بیان‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫تبدیل‬ ‫نحوه‬ ‫سپس‬ ‫و‬ ‫کرده‬ ‫مطرح‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫داریم‬ ‫قصد‬ ‫آموزشی‬ ‫ویدیویی‬ ‫این‬ ‫در‬‫کن‬‫یم‬.‫مروری‬ ،‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫نرمال‬ ‫مبحث‬ ‫بر‬ ‫باشید‬ ‫داشته‬ ‫گرامرها‬ ‫کردن‬. ‫متن‬ ‫از‬ ‫مستقل‬ ‫گرامر‬ ‫یک‬G‫دو‬ ‫شامل‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫که‬ ‫اینصورت‬ ‫به‬ ‫باشد؛‬ ‫روبرو‬ ‫های‬‫شکل‬ ‫از‬ ‫یکی‬ ‫به‬ ‫گرامر‬ ‫از‬ ‫قانون‬ ‫هر‬ ‫اگر‬ ،‫گوییم‬ ‫می‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫یک‬ ‫را‬‫م‬‫است‬ ‫ترمینال‬ ‫یک‬ ‫یا‬ ‫و‬ ‫تغیر‬. ‫باید‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫تبدیل‬ ‫برای‬4‫داد‬ ‫انجام‬ ‫را‬ ‫روبرو‬ ‫اقدام‬. 1-‫قوان‬ ‫حذف‬‫ی‬‫ن‬λ 2-‫مانند‬ ‫یکه‬ ‫قوانین‬ ‫حذف‬A‫دهد‬ ‫می‬ ‫نتیجه‬B 3-‫غیرمفید‬ ‫متغیر‬ ‫حذف‬ ‫و‬ ‫شود‬ ‫می‬ ‫ساده‬ ‫ممکن‬ ‫جای‬ ‫تا‬ ‫گرامر‬ ‫عمل‬ ‫سه‬ ‫این‬ ‫با‬ ‫که‬ 4-‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫با‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬2‫چامسکی‬ ‫فرم‬ ‫به‬ ‫کنیم‬ ‫می‬ ‫بررسی‬ ‫هم‬ ‫با‬ ‫را‬ ‫مثال‬ ‫یک‬ ‫موضوع‬ ‫این‬ ‫بهتر‬ ‫درک‬ ‫برای‬.‫کنیم‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫روبرو‬ ‫گرامر‬ ‫خواهیم‬ ‫می‬. ‫قوانین‬ ‫حذف‬ ‫تبدیل‬ ‫برای‬ ‫اول‬ ‫گام‬λ‫باشد‬ ‫می‬. ‫حذف‬ ‫برای‬λ‫آن‬ ‫جای‬ ‫به‬ ‫باید‬ ‫شود‬ ‫ظاهر‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫متغیر‬ ‫که‬ ‫جایی‬ ‫هر‬λ‫گردد‬ ‫مشخص‬ ‫جدید‬ ‫قوانین‬ ‫تا‬ ‫شود‬ ‫گذاشته‬.‫متغیرهای‬ ‫اینجا‬ ‫در‬A‫و‬B،λ‫که‬ ‫جایی‬ ‫هر‬ ‫قوانین‬ ‫تمام‬ ‫در‬ ‫پس‬ ‫کنند‬ ‫می‬ ‫تولید‬B‫یا‬A‫شد‬ ‫ظاهر‬λ‫می‬ ‫گذاریم‬. ‫شدن‬ ‫اضافه‬ ‫عنوان‬ ‫به‬ ‫سبز‬ ‫رنگ‬ ‫و‬ ‫الگوریتم‬ ‫از‬ ‫مرحله‬ ‫این‬ ‫در‬ ‫متغیر‬ ‫حذف‬ ‫عنوان‬ ‫به‬ ‫قرمز‬ ‫رنگ‬ ‫از‬ ‫شده‬ ‫انجام‬ ‫مراحل‬ ‫طی‬ ‫در‬ ‫باشید‬ ‫داشته‬ ‫توجه‬‫قان‬‫است‬ ‫قوانین‬ ‫مجموع‬ ‫به‬ ‫جدید‬ ‫ون‬. ‫نماییم‬ ‫حذف‬ ‫را‬ ‫یکه‬ ‫قوانین‬ ‫باید‬ ‫مرحله‬ ‫این‬ ‫در‬.‫یکه‬ ‫قانون‬ ‫دو‬ ‫گرامر‬ ‫این‬ ‫در‬A‫و‬B‫شود‬ ‫جایگزین‬ ‫و‬ ‫حذف‬ ‫باید‬ ‫که‬ ‫دارد‬ ‫وجود‬. ‫کردیم‬ ‫جایگزین‬ ‫مربوطه‬ ‫قوانین‬ ‫با‬ ‫و‬ ‫حذف‬ ‫ها‬ ‫آن‬ ‫که‬. ‫کنیم‬ ‫حذف‬ ‫بخواهیم‬ ‫که‬ ‫ندارد‬ ‫وجود‬ ‫گرامر‬ ‫در‬ ‫غیرمفید‬ ‫قوانین‬.‫کرد‬ ‫تبدیل‬ ‫را‬ ‫نیستند‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫که‬ ‫قوانینی‬ ‫باید‬ ‫سوم‬ ‫گام‬ ‫در‬ ‫پس‬.‫مرحله‬ ‫این‬ ‫در‬ ‫گرامر‬ ‫این‬ ‫در‬4‫چامسکی‬ ‫فرم‬ ‫به‬ ‫بایست‬ ‫می‬ ‫که‬ ‫دارد‬ ‫وجود‬ ‫قوانین‬ ‫از‬ ‫مورد‬ ‫شود‬ ‫تبدیل‬.‫شود‬ ‫می‬ ‫دیده‬ ‫پایانی‬ ‫عنصر‬ ‫آنها‬ ‫در‬ ‫که‬ ‫قوانینی‬. ‫ترمینال‬ ‫به‬ ‫متغیر‬ ‫یک‬ ‫از‬ ‫که‬ ‫کنیم‬ ‫می‬ ‫تعریف‬ ‫جدیدی‬ ‫قوانین‬ ‫ابتدا‬ ‫منظور‬ ‫بدین‬a‫ترمینال‬ ‫برای‬ ‫همچنین‬ ‫و‬ ‫برود‬b‫کنیم‬ ‫می‬ ‫تعریف‬ ‫دیگری‬ ‫متغیر‬. ‫متغیر‬Ua‫و‬Ub‫کنیم‬ ‫می‬ ‫جایگزین‬ ‫قبلی‬ ‫قوانین‬ ‫در‬ ‫را‬.‫شدند‬ ‫تصحیح‬ ،‫نبودند‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫که‬ ‫قوانینی‬ ‫از‬ ‫مورد‬ ‫چهار‬ ‫متغیر‬ ‫جایگزینی‬ ‫با‬ ‫اینجا‬ ‫در‬. ‫از‬ ‫بیشتر‬ ‫نباید‬ ‫قوانین‬ ‫راست‬ ‫طرف‬ ‫جمله‬ ‫طول‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫در‬2‫از‬ ‫بیشتر‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫طول‬ ‫که‬ ‫قانون‬ ‫چهار‬ ‫این‬ ‫در‬ ‫پس‬ ،‫باشد‬2‫مانده‬ ‫باقی‬ ‫متغیرهای‬ ‫ازای‬ ‫به‬ ‫و‬ ‫داشته‬ ‫نگه‬ ‫را‬ ‫چپ‬ ‫سمت‬ ‫از‬ ‫متغیر‬ ‫اولین‬ ،‫است‬ ‫کنیم‬ ‫می‬ ‫اضافه‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫قانون‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫یک‬.‫دهیم‬ ‫می‬ ‫ادامه‬ ‫را‬ ‫روال‬ ‫این‬ ‫نبود‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫اگر‬ ‫جدید‬ ‫قانون‬. ‫شد‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫تبدیل‬ ‫گرامر‬ ‫ترتیب‬ ‫این‬ ‫به‬. ‫کنیم‬ ‫می‬ ‫بررسی‬ ‫را‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫تبدیل‬ ‫روال‬ ‫دیگر‬ ‫مثال‬ ‫یک‬ ‫با‬ ‫اکنون‬. ‫حذف‬ ‫برای‬ ‫مرحله‬ ‫این‬ ‫در‬λ‫شود‬ ‫می‬ ‫اضافه‬ ‫جدید‬ ‫قانون‬ ‫سه‬. ‫متغیر‬ ‫گرامر‬ ‫این‬ ‫در‬A‫کرد‬ ‫حذف‬ ‫باید‬ ،‫دارد‬ ‫را‬ ‫متغیر‬ ‫این‬ ‫که‬ ‫قوانینی‬ ‫تمام‬ ‫پس‬ ‫دارد‬ ‫وجود‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫در‬ ‫قوانینش‬ ‫تمام‬ ‫در‬ ‫زیرا‬ ‫است‬ ‫مفید‬ ‫غیر‬ ‫متغیر‬ ‫یک‬. ‫قا‬ ‫و‬ ‫متغیر‬ ،‫نکرده‬ ‫تعریف‬ ‫تکی‬ ‫بصورت‬ ‫را‬ ‫آنها‬ ،‫خاص‬ ‫متغیر‬ ‫یک‬ ‫که‬ ‫هایی‬ ‫ترمینال‬ ‫برای‬ ‫ابتدا‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬ ‫برای‬‫نون‬‫کنیم‬ ‫می‬ ‫ایجاد‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬.‫ترمی‬ ‫دو‬ ‫اینجا‬ ‫در‬‫نال‬a‫و‬b‫هیچ‬ ‫بوسیله‬ ‫اند‬ ‫نشده‬ ‫تعریف‬ ‫تکی‬ ‫صورت‬ ‫به‬ ‫متغیری‬. ‫کنیم‬ ‫می‬ ‫جایگذاری‬ ‫را‬ ‫آن‬ ‫به‬ ‫مربوط‬ ‫متغیر‬ ‫نباشند‬ ‫تکی‬ ‫بصورت‬ ‫ها‬ ‫ترمینال‬ ‫که‬ ‫قوانینی‬ ‫در‬. ‫از‬ ‫بیش‬ ‫راست‬ ‫سمت‬ ‫جمله‬ ‫شبه‬ ‫طول‬ ‫که‬ ‫قوانینی‬ ‫در‬2‫آوریم‬ ‫می‬ ‫در‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫مانده‬ ‫باقی‬ ‫قوانین‬ ،‫آن‬ ‫به‬ ‫مربوط‬ ‫قوانین‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫تعریف‬ ‫با‬ ‫است‬ ‫متغیر‬. ‫به‬ ‫مربوط‬ ‫قانون‬ ‫و‬ ‫جدید‬ ‫متغیر‬ ‫یک‬ ‫مانده‬ ‫باقی‬ ‫متغیرهای‬ ‫ازای‬ ‫به‬ ‫و‬ ‫داشته‬ ‫نگه‬ ‫را‬ ‫چپ‬ ‫سمت‬ ‫از‬ ‫متغیر‬ ‫اولین‬ ‫عبارات‬ ‫این‬ ‫در‬ ‫که‬ ‫صورت‬ ‫این‬ ‫به‬‫آن‬‫کنیم‬ ‫می‬ ‫اضافه‬ ‫را‬.‫نبو‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫اگر‬ ‫جدید‬ ‫قانون‬‫ادامه‬ ‫را‬ ‫روال‬ ‫این‬ ‫د‬ ‫دهیم‬ ‫می‬. ‫کنیم‬ ‫می‬ ‫جایگزین‬ ‫هم‬ ‫را‬ ‫قانون‬ ‫این‬ ‫پس‬ ،‫نیست‬ ‫چامسکی‬ ‫فرم‬ ‫به‬ ‫قانون‬ ‫یک‬ ‫شده‬ ‫ایجاد‬ ‫قوانین‬ ‫از‬ ‫شود‬ ‫می‬ ‫مشاهده‬ ‫که‬ ‫همانطور‬. ‫شد‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫گرامر‬ ‫ترتیب‬ ‫این‬ ‫به‬. ‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬ ‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬: http://minidars.ir/?p=1375
  • 5. ‫مثال‬:‫کنید‬ ‫تبدیل‬ ‫چامسکی‬ ‫نرمال‬ ‫فرم‬ ‫به‬ ‫را‬ ‫زیر‬ ‫گرامر‬. S → A | B A → aBa | λ B → bAb | λ
  • 6. ‫نکته‬:‫از‬ ‫عبارات‬ ‫حذف‬ ‫برای‬‫قرمز‬ ‫رنگ‬‫از‬ ‫و‬ ‫شده‬ ‫استفاده‬‫سبز‬ ‫رنگ‬‫شده‬ ‫اضافه‬ ‫جدید‬ ‫عبارات‬ ‫برای‬. ‫اول‬ ‫گام‬:‫قوانین‬ ‫حذف‬λ S → A | B | aBa | bAb A → aBa | λ | aa B → bAb | λ | bb
  • 7. ‫دوم‬ ‫گام‬:‫یکه‬ ‫قوانین‬ ‫حذف‬ S → A | B | aBa | bAb A → aBa | aa B → bAb | bb
  • 8. ‫دوم‬ ‫گام‬:‫یکه‬ ‫قوانین‬ ‫حذف‬ S → aa | bb | aBa | bAb A → aBa | aa B → bAb | bb
  • 9. ‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬ S → aa | bb | aBa | bAb A → aBa | aa B → bAb | bb
  • 10. ‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬ S → aa | bb | aBa | bAb A → aBa | aa B → bAb | bb Ua → a Ub → b
  • 11. ‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬ S → Ua Ua | Ub Ub | Ua B Ua | Ub A Ub A → Ua B Ua | Ua Ua B → Ub A Ub | Ub Ub Ua → a Ub → b
  • 12. ‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬ S → Ua Ua | Ub Ub | Ua B Ua | Ub A Ub A → Ua B Ua | Ua Ua B → Ub A Ub | Ub Ub Ua → a Ub → b
  • 13. ‫سوم‬ ‫گام‬:‫مانده‬‫باقی‬ ‫قوانین‬ ‫تبدیل‬ S → Ua Ua | Ub Ub | Ua C | Ub D A → Ua C | Ua Ua B → Ub D | Ub Ub Ua → a Ub → b C → B Ua D → A Ub
  • 14. ‫چامسکی‬ ‫نرمال‬ ‫فرم‬: S → Ua Ua | Ub Ub | Ua C | Ub D A → Ua C | Ua Ua B → Ub D | Ub Ub Ua → a Ub → b C → B Ua D → A Ub
  • 15. S → CaB | bA | aBa A → Asa | Aba | bSCA B → CaS | ba | λ | bSBA C → CbS | CabC | baC | bBS | Sa ‫دوم‬ ‫مثال‬:‫چامسکی‬ ‫فرم‬ ‫به‬ ‫زیر‬ ‫گرامر‬ ‫تبدیل‬
  • 16. S → CaB | bA | aBa | aa A → Asa | Aba | bSCA B → CaS | ba | λ | bSBA | bSA C → CbS | CabC | baC | bBS | Sa | bS ‫اول‬ ‫گام‬:‫قوانین‬ ‫حذف‬λ
  • 17. S → CaB | bA | aBa | aa A → Asa | Aba | bSCA B → CaS | ba | bSBA | bSA C → CbS | CabC | baC | bBS | Sa | bS ‫دوم‬ ‫گام‬:‫حذف‬‫مفید‬ ‫غیر‬ ‫متغیر‬
  • 18. S → CaB | aBa | aa B → CaS | ba C → CbS | CabC | baC | bBS | Sa | bS Ua → a Ub → b ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 19. S → C Ua B | Ua B Ua | Ua Ua B → C Ua S | Ub Ua C → C Ub S | C Ua Ub C | Ub Ua C | Ub BS | S Ua | Ub S Ua → a Ub → b ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 20. S → C Ua B | Ua B Ua | Ua Ua B → C Ua S | Ub Ua C → C Ub S | C Ua Ub C | Ub Ua C | Ub BS | S Ua | Ub S Ua → a Ub → b ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 21. S → C D| Ua E| Ua Ua B → C F | Ub Ua C → C G| C H| Ub K| Ub L | S Ua | Ub S Ua → a Ub → b D → Ua B E → B Ua F → Ua S G → Ub S H → Ua UbC K → Ua C L → BS ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 22. S → C D| Ua E| Ua Ua B → C F | Ub Ua C → C G| C H| Ub K| Ub L | S Ua | Ub S Ua → a Ub → b D → Ua B E → B Ua F → Ua S G → Ub S H → Ua UbC K → Ua C L → BS ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 23. S → C D| Ua E| Ua Ua B → C F | Ub Ua C → C G| C H| Ub K| Ub L | S Ua | Ub S Ua → a Ub → b D → Ua B E → B Ua F → Ua S G → Ub S H → Ua M K → Ua C L → BS M → Ub C ‫سوم‬ ‫گام‬:‫مانده‬ ‫باقی‬ ‫قوانین‬ ‫تبدیل‬
  • 24. S → C D| Ua E| Ua Ua B → C F | Ub Ua C → C G| C H| Ub K| Ub L | S Ua | Ub S Ua → a Ub → b D → Ua B E → B Ua F → Ua S G → Ub S H → Ua M K → Ua C L → BS M → Ub C ‫چامسکی‬ ‫نرمال‬ ‫فرم‬:
  • 25. ‫مشاهده‬ ‫جهت‬‫رایگان‬‫این‬ ‫فیلم‬ ‫و‬ ‫متن‬‫توانید‬ ‫می‬ ،‫آموزش‬ ‫به‬‫کنید‬ ‫مراجعه‬ ‫زیر‬ ‫آدرس‬: http://minidars.ir/?p=1375
  • 26. ‫ای‬‫پشته‬ ‫های‬‫ماشین‬ ‫دا‬ ‫ای‬ ‫پشته‬ ‫های‬ ‫ماشین‬ ‫مبحث‬ ‫بر‬ ‫مروری‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫قبل‬ ‫شود‬ ‫می‬ ‫پیشنهاد‬‫شته‬ ‫باشید‬.‫مبحث‬ ‫این‬ ‫از‬ ‫مناسبی‬ ‫درک‬ ‫آموزش‬ ‫این‬ ‫مشاهده‬ ‫از‬ ‫بعد‬ ‫شما‬ ‫رود‬ ‫می‬ ‫انتظار‬ ‫آورید‬ ‫دست‬ ‫به‬. ‫درس‬ ‫مینی‬ ‫دیگر‬ ‫های‬ ‫آموزش‬