پاورپوینت کامل دسته‌بندی زیانهای صوری و آتاماتا ۲۰ اسلاید در PowerPoint

توجه : این فایل به صورت فایل power point (پاور پوینت) ارائه میگردد

 پاورپوینت کامل دسته‌بندی زیانهای صوری و آتاماتا ۲۰ اسلاید در PowerPoint دارای ۲۰ اسلاید می باشد و دارای تنظیمات کامل در PowerPoint می باشد و آماده ارائه یا چاپ است

شما با استفاده ازاین پاورپوینت میتوانید یک ارائه بسیارعالی و با شکوهی داشته باشید و همه حاضرین با اشتیاق به مطالب شما گوش خواهند داد.

لطفا نگران مطالب داخل پاورپوینت نباشید، مطالب داخل اسلاید ها بسیار ساده و قابل درک برای شما می باشد، ما عالی بودن این فایل رو تضمین می کنیم.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی پاورپوینت کامل دسته‌بندی زیانهای صوری و آتاماتا ۲۰ اسلاید در PowerPoint،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از مطالب داخلی اسلاید ها

پاورپوینت کامل دسته‌بندی زیانهای صوری و آتاماتا ۲۰ اسلاید در PowerPoint

اسلاید ۴: قضیه ۲-۱۱………………………………………………………….به ازای هر غیر تهی زیانهایی هستند که بر شمارش بازگشتی نیستند .اثبات : یک زیان زیر مجموعه ای از است و هر زیر مجموعه یک زبان است . بنابراین مجموعه تمام زبان ها دقیقا است .چون نامتناهی است قضیه ۱-۱۱ به ما می گوید که مجموعه تمامی زبانهای روی ناشمارا است . اما مجموعه تمامی ماشین های تورینگ برشمارشی هستند . بنابراین مجموعه تمامی زبانهای برشمارش بازگشتی شماراست . بواسطه تمرین ۱۶ در انتهای بخش می توان گفت که باید زبانهایی بر روی باشند که برشمارش بازگشتی نیستند .

اسلاید ۵: قضیه ۳-۱۱…………………………………………………………زبان برشمارش بازگشتی وجود دارد که متمم برشمارش بازگشتی نیست .اثبات : فرض کنید که {a}= باشد . حال مجموعه تمامی ماشین های تورینگ بر روی این الفبای ورودی را در نظر بگیرید . براساس قضیه ۳-۱۰ این مجموعه شمارا است و بنابراین می توان ترتیب … را برای عناصر آن در نظر گرفت .برای هر ماشین تورینگ زبان برشمارش بازگشتی مانند L( ) را داریم .برعکس برای هر زبان برشمارش بازگشتی بر روی یک ماشین تورینگ هست که آنرا می پذیرد .

اسلاید ۶: ادامهحال ربان جدیدی مانند L را به صورت زیر در نظر می گیریم به ازای ۱ i رشته در L است اگر وفقط اگر ( ) L باشد بنابراین زبان L خوش تعریف است چون ) ) L و در نتیحه L باید یا صحیح یا غلط باشد بعد متمم L را در نظر می گیریم . ۱-۱۱که آن هم خوش تعریف هست اما نشان خواهیم داد که برشمارش بازگشتی نیست . این را با برهان خلف نشان می دهیم . با فرض اینکه برشمارش بازگشتی است شروع می کنیم اگر چنین باشد باید ماشین تورینگی مانند باشد که ۲-۱۱

اسلاید ۷: رشته را در نظر بگیرید آیا در L است یا در ؟ فرض کنید که باشد . با استفاده از ۲-۱۱ نتیجه می گیریم که اما با استفاده از ۱-۱۱ نتیحه می گیریم حال اگر فرض کنیم که در L هست آنوقت و از ۲-۱۱ نتیجه می گیریماما باز از ۱-۱۱ نتیجه می گیریم که

اسلاید ۸: تناقض ، گریز ناپذیر است و باید نتیجه گیری کنیم که فرض ما که برشمارش بازگشتی است غلط است برای تکمیل اثبات باید نشان دهیم که L برشمارش بازگشتی است برای این منظور می توانیم از روال برشمردن شناخته شده برای ماشین های تورینگ استفاده کنیم . اگر را داشته باشیم ابتدا i را با شمارش تعداد a ها پیدا می کنیم . سپس با استفاده از روال برشمردن برای ماشین تورینگ را پیدا می کنیم .نهایتا توصیف آنرا همراه با به ماشین تورینگ