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

نسخه‌ی کامل: کمک در تبدیل به فرم گریباخ
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام دوستان
من یه مشکل اساسی در تبدیل گرامر به فرم گریباخ دارم
S → SaB | aB
B → bB | λ

در S → SaB که تو تبدیل ها به مشکل میخورم
تو یه pdf جوابشو گذاشته اما من اصلا متوجه نمیشم
لطفا هرکی میتونه اینو به فرم گریباخ تبدیل کنه و توضیح بده.
در ضمن جمله W=abaaba هم ازش مشتق بشه.

جواب داخل pdf:
[تصویر:  468100_s70955_.jpg]
(01 خرداد 1398 03:19 ب.ظ)hadizd نوشته شده توسط: [ -> ]سلام دوستان
من یه مشکل اساسی در تبدیل گرامر به فرم گریباخ دارم
S → SaB | aB
B → bB | λ

در S → SaB که تو تبدیل ها به مشکل میخورم
تو یه pdf جوابشو گذاشته اما من اصلا متوجه نمیشم
لطفا هرکی میتونه اینو به فرم گریباخ تبدیل کنه و توضیح بده.
در ضمن جمله W=abaaba هم ازش مشتق بشه.

جواب داخل pdf:
[تصویر:  468100_s70955_.jpg]

سلام
راستش من با چیزی که بلد بودم به این نتیجه رسیدم
ولی خب
کلا اشتباه
برای خودمم کلی سوال پیش اومد
که چجوری جوابش شده اونی که شما گذاشتین؟؟؟
[تصویر:  468109_qfne_p_20190522_162628_vhdr_on_1.jpg]
(01 خرداد 1398 04:31 ب.ظ)Sanazzz نوشته شده توسط: [ -> ]
(01 خرداد 1398 03:19 ب.ظ)hadizd نوشته شده توسط: [ -> ]سلام دوستان
من یه مشکل اساسی در تبدیل گرامر به فرم گریباخ دارم
S → SaB | aB
B → bB | λ

در S → SaB که تو تبدیل ها به مشکل میخورم
تو یه pdf جوابشو گذاشته اما من اصلا متوجه نمیشم
لطفا هرکی میتونه اینو به فرم گریباخ تبدیل کنه و توضیح بده.
در ضمن جمله W=abaaba هم ازش مشتق بشه.

جواب داخل pdf:
[تصویر:  468100_s70955_.jpg]

سلام
راستش من با چیزی که بلد بودم به این نتیجه رسیدم
ولی خب
کلا اشتباه
برای خودمم کلی سوال پیش اومد
که چجوری جوابش شده اونی که شما گذاشتین؟؟؟
[تصویر:  468109_qfne_p_20190522_162628_vhdr_on_1.jpg]

آره خودمم اینجوری حل کردم ولی از این گرامر شما نمیشه w=abaaba رو مشتق کرد. پس فرم شما اشتباهه
روش حلی که تو PDF گفته بود رو متوجه نشدم اما بعد کلی جستجو تو نت تونستم یه قضیه ای رو گیر بیارم و با توجه به اون، این فرم رو تبدیل به گریباخ (GNF) کردمCool
قضیه :

[تصویر:  468627_appr_img_20190616_161007.jpg]

حل سوال :
[تصویر:  468627_huc7_img_20190616_161055.jpg]


اشتقاق w=abaaba :
S → aBC → aB(aRBC) → abaRBC → abaaBC → abaabC → abaaba
لینک مرجع