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