وسم المدخل: مسألة التوقف

تُعَدّ مسألة التوقّف من أشهر المسائل في نظرية الحوسبة، وقد صاغها ألن تورنغ في ثلاثينيات القرن العشرين في سياق سعيه إلى فهم حدود ما يمكن للحواسيب إنجازه. وتتمثّل هذه المسألة في التساؤل عمّا إذا كان بالإمكان إيجاد خوارزمية عامّة تستطيع، عند إعطائها أي برنامج ومدخلاته، أن تُقرّر بشكل صحيح ما إذا كان هذا البرنامج سيتوقّف…