جهاز بيستعمل مجموعة قواعد ومدخلات عشان يحدد نتيجة، بالرغم من إن الجهاز المذكور افتراضي، بيتقال عليه شو؟ بعد السؤال اللي قبله، كتب سياق يحتوي على الإجابة. ممكن يكون من واحد لعشرين جملة. سياق:
طبقة التعقيد P غالبًا بتتعرف على إنها تجريد رياضي ينمّل المهام الحسابية اللي بتعترف خوارزمية كفاءة. هيدي الفرضية بتتسمى أطروحة كوبام-إدموندز. صف التعقيد NP، من ناحية تانية، بيحتوي على كتير مشاكل يود الناس يحلوها بكفاءة، بس ما بيعرفش ليها خوارزمية كفاءة، زي مشاكل الترضي البولية، ومشاكل المسار الهاملتوني ومشاكل غطاء القمة. بما إن آلات تورينج المحددة هي آلات تورينج خاصة غير محددة، فمن السهل ملاحظة إن كل مشكلة في P هي أيضا عضو في الفئة NP.