गणितीय मॉडल
गैर-नियतात्मक ट्यूरिंग मशीन का इस बात से बहुत कम संबंध है कि हम शारीरिक रूप से एल्गोरिदम की गणना कैसे करना चाहते हैं, लेकिन इसकी शाखाएं वास्तव में कई गणितीय मॉडलों को पकड़ लेती हैं जिनका हम विश्लेषण करना चाहते हैं, ताकि गैर-नियतात्मक समय कम्प्यूटेशनल समस्याओं के विश्लेषण में एक बहुत ही महत्वपूर्ण संसाधन है।
एक गैर-नियतात्मक ट्यूरिंग मशीन में उपयोगी विश्लेषण के किस पहलू को पकड़ने की क्षमता है?