The problem can be phrased: Given a description of a Turing machine and its initial input, determine whether the program, when executed on this input, ever halts (completes).
يمكن أن نعبر عن المشكلة كالتالي: بافتراض وصف لآلة تورنغ ومُدخله الأساسي، لتحديد إذا كان البرنامج، عندما يتم تنفيذه على هذا المدخل، سيتوقف أبداً (يكتمل).