नियतात्मक ट्यूरिंग मशीन
चूंकि नियतात्मक ट्यूरिंग मशीनें विशेष गैर-नियतात्मक ट्यूरिंग मशीनें हैं, इसलिए यह आसानी से देखा जाता है कि P में प्रत्येक समस्या भी वर्ग NP का सदस्य है।
किस सैद्धांतिक मशीन में यह पुष्टि की गई है कि एनपी (NP) वर्ग में पी (P) की सदस्यता में एक समस्या है?