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

چند سوال کوچک و مهم؟ - navid-p - 07 دى ۱۳۹۰ ۱۲:۲۵ ق.ظ

۱/یک زبان منظم است اگر توسط یک dfa پذیرش شود وبرای یک زبان منظم میتوان nfa رسم کرد ولی پذیرش یک زبان توسط nfa تضمینی بر منظم بودن ان نیست.درسته؟
۲/از ما خواسته شده به عنوان مثال برای زبانی که تعداد a,b هردو جداگانه زوج باشد روی {a,b}یک عبارت منظم و یک dfa رسم کنیم.راه اصولی برای حل چنین سوالاتی چیست؟رشته های مختلفی از زبان تولید و بر اساس ان و تجارب قبلی عمل کنیم و یا راه حل تستی و میانبری وجود دارد؟
۳/کلیه راههای اثبات منظم بودن یک زبان را نام ببرید؟و بهترین راه برای تشخیص منظم بودن کدام است؟
ممنون میشم راهنمایی کنید

RE: چند سوال کوچک و مهم؟ - homa - 07 دى ۱۳۹۰ ۱۲:۲۹ ق.ظ

(۰۷ دى ۱۳۹۰ ۱۲:۲۵ ق.ظ)navid-p نوشته شده توسط:  ۱/یک زبان منظم است اگر توسط یک dfa پذیرش شود وبرای یک زبان منظم میتوان nfa رسم کرد ولی پذیرش یک زبان توسط nfa تضمینی بر منظم بودن ان نیست.درسته؟
۲/از ما خواسته شده به عنوان مثال برای زبانی که تعداد a,b هردو جداگانه زوج باشد روی {a,b}یک عبارت منظم و یک dfa رسم کنیم.راه اصولی برای حل چنین سوالاتی چیست؟رشته های مختلفی از زبان تولید و بر اساس ان و تجارب قبلی عمل کنیم و یا راه حل تستی و میانبری وجود دارد؟
۳/کلیه راههای اثبات منظم بودن یک زبان را نام ببرید؟و بهترین راه برای تشخیص منظم بودن کدام است؟
ممنون میشم راهنمایی کنید
در مورد قسمت اول اینو میدونیم که هر nfa میتونه به یک dfa تبدیل بشه پس اگر برای یک زبان nfa رسم کردی می تونی این nfa رو به یه dfa lمعادل تبدیل کنی پس تونستی برای زبان dfa بکشی پس هر چی با nfa بکشی هم منظمه

در مور قسمت سوم هم تا اونجایی که من میدونم یکی اینه که بتونی براش dfa یا nfa بکشی،بعد اینکه به طور کلی زبان های متناهی منظم هستند پس هر کجا دیدی متناهیه حتما منظمه‌، راه دیگه اینه که بتونی براش گرامر منظم بنویسی

چند سوال کوچک و مهم؟ - navid-p - 07 دى ۱۳۹۰ ۰۹:۲۹ ب.ظ

دوستان اگر کسی در مورد سوال ۲و۳ اطلاعات کاملتری داره لطفا پاسخ بده

RE: چند سوال کوچک و مهم؟ - pos - 07 دى ۱۳۹۰ ۱۰:۴۰ ب.ظ

مثل طراحی مدار های ترتیبی توی مدار منطقی در نظر بگیرین. هر حالت توی عکس زیر دو تا عدد تشکیل شده. صفر یعنی زوج هست و یک یعنی فرد. عدد سمت چپ زوج یا فرد بودن a در یک حالت و عدد سمت راست بیانگر همین وضعیت برای تعداد b‌ها هست. خوب چون شما الان تعداد زوج a و b را می خوای حالت صفر صفر میشه پایانی.

چند سوال کوچک و مهم؟ - Bache Mosbat - 08 دى ۱۳۹۰ ۰۵:۳۵ ق.ظ

قیافه‌ی سوالا به مشق می خوره Big Grin
در مورد سوال سه نوشتن عبارت منظم‌، کشیدن اتوماتا‌، نوشتن گرامر خطی
سوال دو هم راهی که آقای pos فرمودن صحیحه اصولا این روش برای تمام بخش پذیری‌ها کار می کنه .

چند سوال کوچک و مهم؟ - navid-p - 15 دى ۱۳۹۰ ۰۹:۰۳ ب.ظ

یه سوال دیگه.ایا بدون بلد بودن لم تزریق میشه تمام سولات مرتبط به زبانها رو حل کرد؟راه ساده تری وجود داره برای تشخیص؟

چند سوال کوچک و مهم؟ - navid-p - 19 دى ۱۳۹۰ ۱۲:۵۹ ق.ظ

زبانها و گرامرهای مبهم جزو ازمون هست؟رفع ابهام و گرامرهای ساده چطور؟

چند سوال کوچک و مهم؟ - navid-p - 22 دى ۱۳۹۰ ۱۲:۳۹ ب.ظ

برای تبدیل گرامر مستقل از متن به فرم نرمال چامسکی باید ۱/قوانین lambda
۲/قوانین یکه و۳/قوانین غیر مفید حذف شوند. ایا این مراحل برای تبدیل به فرم گریباخ نیز وجود دارد؟
واگر جواب مثبته پس تمرین ۱۰ بخش ۲-۶ در حل تمرین اشتباه حل شده.
S_>aSb/aS/aaS
Sاینجا غیر مفید نیست؟