Logo fa.boatexistence.com

وقتی می گویند یک مسئله p نیمه تصمیم پذیر است؟

فهرست مطالب:

وقتی می گویند یک مسئله p نیمه تصمیم پذیر است؟
وقتی می گویند یک مسئله p نیمه تصمیم پذیر است؟

تصویری: وقتی می گویند یک مسئله p نیمه تصمیم پذیر است؟

تصویری: وقتی می گویند یک مسئله p نیمه تصمیم پذیر است؟
تصویری: پیشگویی های سیمپسون ها در مورد آینده ایران 2024, ممکن است
Anonim

- یک مسئله تصمیم گیری P نیمه تصمیم پذیر است (یعنی یک نیمه الگوریتم دارد) اگر زبان L همه نمونه های بله به P r.e باشد. – (مشکل معادل سازی برای DFA) با توجه به دو DFA، آیا آنها یک زبان را قبول دارند؟ اثبات: استدلال کانتور را از اولین سخنرانی به یاد بیاورید.

وقتی گفته می شود مشکلی نیمه تصمیم پذیر است؟

مشکلات نیمه تعیین‌پذیر مشکلاتی هستند برای که یک ماشین تورینگ روی ورودی پذیرفته شده توسط خود متوقف می‌شود، اما می‌تواند برای همیشه ورودی را متوقف کند یا برای همیشه روی ورودی که توسط ماشین تورینگ رد می‌شود حلقه بزند.. چنین مشکلاتی به عنوان مشکلات تورینگ قابل تشخیص نامیده می شوند.

مشکل تا حدی قابل حل چیست؟

تعریف: یک که زبان مرتبط آن یک زبان بازگشتی قابل شمارش است.به همین ترتیب، الگوریتمی وجود دارد که برای هر نمونه ای که پاسخ «بله» دارد، 1 را متوقف می کند و خروجی می دهد، اما برای نمونه هایی که پاسخ «نه» دارند، مجاز است یا متوقف نشود یا متوقف شود و خروجی 0 باشد.

آیا توقف مشکل تا حدی قابل حل است؟

آلن تورینگ در سال 1936 ثابت کرد که یک الگوریتم کلی که روی ماشین تورینگ اجرا می شود و مشکل توقف همه جفت های برنامه-ورودی ممکن را حل می کند لزوماً نمی تواند وجود داشته باشد. بنابراین، مشکل توقف برای ماشین های تورینگ غیرقابل حل است..

چرا مشکل توقف نیمه تصمیم‌پذیر است؟

اگر یک ماشین تورینگ وجود داشته باشد به زبانی نیمه تصمیم‌پذیر گفته می‌شود که اگر کلمه‌ای به آن زبان تعلق داشته باشد متوقف می‌شود و ممکن است رد یا به بی‌نهایت برود. اگر کلمه به زبان تعلق ندارد حلقه بزنید (بدون مورد).

توصیه شده: