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