برنامه نویسی
مشکل توقف – انجمن DEV
این ارسالی برای چالش DEV Computer Science Challenge نسخه 24.06.12: One Byte Explainer است.
توضیح دهنده
آیا یک برنامه می تواند تعیین کند که آیا برنامه دیگری برای همیشه اجرا می شود یا حلقه می شود؟ مشکل توقف است. آلن تورینگ ثابت کرد که غیرقابل تصمیم گیری است: هیچ الگوریتمی نمی تواند آن را برای همه برنامه های ممکن حل کند. این چیزی را که رایانه ها می توانند در مورد سایر برنامه ها پیش بینی کنند محدود می کند.
زمینه اضافی