تالار گفتمان مانشت
عملگر تقسیم دو زبان - نسخه‌ی قابل چاپ

صفحه‌ها: ۱ ۲
RE: عملگر تقسیم دو زبان - afshari - 01 مهر ۱۳۹۳ ۰۳:۴۸ ب.ظ

(۰۱ مهر ۱۳۹۳ ۰۳:۲۱ ب.ظ)miladcr7 نوشته شده توسط:  
(24 آبان ۱۳۹۲ ۰۷:۵۳ ب.ظ)kaviresabz نوشته شده توسط:  سلام
من روش کتاب لینز رو پیشنهاد میکنم
برای تقسیم :L1 به L2 ابتدا یک dfa معادل L1 رسم می کنیم
در مرحله بعد تک تک گره ها را برسی میکنیم تا ببینیم آیا میتوان با یک زیر رشته از L2 به یک حالت پذیرش رفت یا نه
اگر توانستیم آن گره را علامت می زنیم
در انتها عبارت منظم dfa جدید را بدست می آوریم
اگه دوست داشتید مثال بزارید تا با هم حل کنیم

سلام.این روش فقط برای زبان های منظم کاربرد داره.که احتمال داره هم خیلی طولانی شه

سلام به همه دوستان.
بله، این روش مربوط به زبان های منظم هست.
همونطور که دوستمون هم گفتند باید برای L1 یه DFAبکشید. حالا خوب دقت کنید: توی این DFA از هر حالت qi که تونستید حداقل با یه رشته از L2 به حالت نهایی برسید، اون qi میشه نهایی.=> بقیه حالات همه غیر نهایی هستند، همه.
اگه سوالی بود در خدمتم.
موفق باشید