‫باسمهتعالی ‌‬
‫‌‬
‫نظریه زبانها و ماشینها‬
‫موعد تحویل‪ ۸۱ :‬آذر‬
‫تمرینسری هشتم‬
‫های‌زیر‌تصمیمپذیر‌هستند‪‌ :‬‬
‫‌‬
‫‌‬
‫ثابت‌کنید‌زبان‬
‫سوال ‪-۸‬‬
‫‌الف)‌‬
‫‌ب)‌‬
‫یکهایش از تعداد صفرهایش بیشتر است |‬
‫میپذیرد که تعداد ‌‬
‫است که یک رشته را ‌‬
‫یک‬
‫یک‬
‫{‬
‫{‬
‫میپذیرد |‬
‫رشتهای با تعداد برابر صفر و یک را ‌‬
‫‌‬
‫است که‬
‫گوییم‌مبهم‌اگر‌رشتهای‌را‌با‌دو‌مسیر‌متفاوت‌بپذیرد‪‌ .‬‬
‫‌‬
‫سوال ‪‌-۲‬به‌یک‌‪‌DFA‬یا‌‪‌PDA‬یا‌‪‌ ‌CFG‬‬
‫می‬
‫‌الف)‌ثابت‌کنید‌زبان‌‬
‫‌ب)‌ثابت‌کنید‌زبان‌‬
‫‌‬
‫یک‬
‫یک‬
‫مبهم است |‬
‫مبهم است |‬
‫تصمیمپذیر‌است‪‌ .‬‬
‫‌‬
‫‌‬
‫{‬
‫{‬
‫تصمیمپذیر‌نیست‪‌ .‬‬
‫‌‬
‫‌‬
‫را‌به‌مسئلهی‌مبهم‌بودن‌گرامر‌مستقل‌از‌متن‌تبدیل‌کنید‪‌ .‬‬
‫‌‬
‫راهنمایی‪‌:‬سعی‌کنید‌مسئلهی‌‪‌PCP‬‬
‫‌‬
‫‌‬
‫سوال ‪‌-۳‬نشان‌دهید‌زبان‌‬
‫رابری‌زبان‌دو‌گرامر‌مستقل‌از‌متن‌است‌تصمیم‌ناپذیر‌است‪‌ .‬‬
‫‌‬
‫‌که‌ب‬
‫ت‌کنید‌زبان‌زیر‌تشخیصپذیر‌نیست‪‌ .‬‬
‫‌‬
‫سوال ‪‌-۴‬ثاب‬
‫یک‬
‫است ) (‬
‫|‬
‫{‬
‫موفق‌باشید‪‌ .‬‬