Counter automaton
کمپیوٹر سائنس میں، خاص طور پر رسمی زبانوں کے نظریہ میں، ایک کاؤنٹر آٹومیٹن، یا کاؤنٹر مشین، ایک پش ڈاؤن آٹومیٹن ہے جس میں صرف دو علامتیں ہوتی ہیں، اور اسٹیک علامتوں کے محدود سیٹ میں ابتدائی علامت ہوتی ہے۔ اسی طرح، ایک کاؤنٹر آٹومیٹن ایک غیر متعین محدود آٹومیٹن ہے جس میں ایک اضافی میموری سیل ہوتا ہے جو ایک غیر منفی عدد نمبر (لامحدود سائز کا) رکھ سکتا ہے، جسے بڑھایا، کم کیا جا سکتا ہے، اور صفر ہونے کی جانچ کی جا سکتی ہے۔ خصوصیات کاؤنٹر آٹومیٹا کی کلاس باقاعدہ کے مناسب سپرسیٹ اور تعیناتی سیاق و سباق سے پاک زبانوں کے ذیلی سیٹ کو پہچان سکتی ہے۔ مثال کے طور پر، زبان ایک غیر باقاعدہ زبان ہے جسے کاؤنٹر آٹومیٹن قبول کرتا ہے: یہ علامت کو کسی دی گئی ان پٹ سٹرنگ میں s کی تعداد گننے کے لیے استعمال کر سکتی ہے (ہر ایک کے لیے ایک لکھ کر)، اس کے بعد، یہ ہر ایک کے لیے ایک کو حذف کر سکتی ہے۔ ایک دو کاؤنٹر آٹومیٹن، یعنی دو اسٹیک والی ٹورنگ مشین جس میں دو علامتی حروف تہجی ہوتی ہے، ایک من مانی ٹورنگ مشین کی تقلید کر سکتی ہے۔ نوٹ حوالہ جات آٹومیٹا (کمپیوٹیشن) کمپیوٹیشن کے ماڈل