विवरण
कंप्यूटर विज्ञान में, एक अमूर्त मशीन एक सैद्धांतिक मॉडल है जो कंप्यूटर सिस्टम कार्यों के बारे में विस्तृत और सटीक विश्लेषण की अनुमति देता है। यह एक गणितीय कार्य के समान है जिसमें यह इनपुट प्राप्त करता है और पूर्वनिर्धारित नियमों के आधार पर आउटपुट उत्पन्न करता है। सार मशीनें शाब्दिक मशीनों से भिन्न होती हैं जिसमें वे हार्डवेयर से सही ढंग से और स्वतंत्र रूप से प्रदर्शन करने की उम्मीद कर रहे हैं। अमूर्त मशीनें "मशीनें" हैं क्योंकि वे प्रोग्रामों के चरण-दर-चरण निष्पादन की अनुमति देते हैं; वे "अवशोषित" हैं क्योंकि वे वास्तविक (हार्डवेयर) मशीनों के कई पहलुओं को अनदेखा करते हैं। एक विशिष्ट अमूर्त मशीन में इनपुट, आउटपुट और स्वीकार्य संचालन के सेट के संदर्भ में परिभाषा होती है जो पूर्व को बाद में बदलने के लिए उपयोग की जाती है। उन्हें पूरी तरह से सैद्धांतिक कारणों के साथ-साथ वास्तविक दुनिया के कंप्यूटर सिस्टम के लिए मॉडल के लिए इस्तेमाल किया जा सकता है अभिकलन के सिद्धांत में, अमूर्त मशीनों का उपयोग अक्सर संगतता के बारे में विचार प्रयोगों में किया जाता है या एल्गोरिदम की जटिलता का विश्लेषण करने के लिए किया जाता है। अमूर्त मशीनों का यह उपयोग कम्प्यूटेशनल जटिलता सिद्धांत के क्षेत्र में मौलिक है, जैसे कि परिमित राज्य मशीनों, मीली मशीनों, पुश-डाउन ऑटोमाटा और टरिंग मशीनों के साथ।