Counter automaton
কম্পিউটার বিজ্ঞানে, আনুষ্ঠানিক ভাষার তত্ত্বে আরও নির্দিষ্টভাবে, একটি পাল্টা অটোমেটন বা পাল্টা মেশিন হল একটি পুশডাউন অটোমেটন যার মাত্র দুটি প্রতীক রয়েছে এবং প্রাথমিক প্রতীকটি স্ট্যাক প্রতীকগুলির সীমাবদ্ধ সেট। সমতুল্যভাবে, একটি পাল্টা স্বয়ংক্রিয় যন্ত্র হল একটি অতিরিক্ত মেমরি কোষ সহ একটি অনির্ধারিত সীমাবদ্ধ স্বয়ংক্রিয় যন্ত্র যা একটি অ-ঋণাত্মক পূর্ণসংখ্যা (সীমাহীন আকারের) ধারণ করতে পারে, যা বৃদ্ধি, হ্রাস এবং শূন্য হওয়ার জন্য পরীক্ষা করা যেতে পারে। বৈশিষ্ট্য পাল্টা স্বয়ংক্রিয়তার শ্রেণী নিয়মিতের একটি যথাযথ সুপারসেট এবং নির্ধারক প্রসঙ্গ মুক্ত ভাষার একটি উপসেটকে চিনতে পারে। উদাহরণস্বরূপ, ভাষাটি একটি অ-নিয়মিত ভাষা যা একটি পাল্টা অটোমেটন দ্বারা গৃহীত হয়ঃ এটি একটি প্রদত্ত ইনপুট স্ট্রিংয়ে s-এর সংখ্যা গণনা করতে প্রতীকটি ব্যবহার করতে পারে (প্রতিটি ইন-এর জন্য একটি করে লেখা), তারপরে, এটি প্রতিটি ইন-এর জন্য একটি করে মুছে ফেলতে পারে। একটি দ্বি-কাউন্টার অটোমেটন, অর্থাৎ দ্বি-প্রতীক বর্ণমালা সহ একটি দ্বি-স্ট্যাক টুরিং মেশিন, একটি নির্বিচারে টুরিং মেশিন অনুকরণ করতে পারে। তথ্যসূত্র অটোমেটা (গণনা) গণনার মডেল