Counter automaton
கணினி அறிவியலில், முறையான மொழிகளின் கோட்பாட்டில் மிகவும் குறிப்பாக, ஒரு எதிர் தானியங்கி இயந்திரம் அல்லது எதிர் இயந்திரம் என்பது இரண்டு சின்னங்களை மட்டுமே கொண்ட ஒரு புஷ் டவுன் தானியங்கி இயந்திரமாகும், மேலும் ஆரம்ப சின்னம், அடுக்கு சின்னங்களின் வரையறுக்கப்பட்ட தொகுப்பாகும். சமமாக, ஒரு எதிர் தானியங்கி இயந்திரம் என்பது ஒரு எதிர்மறை அல்லாத முழு எண் (வரம்பற்ற அளவு) வைத்திருக்கக்கூடிய கூடுதல் நினைவக செல் கொண்ட ஒரு வரையறுக்கப்படாத வரையறுக்கப்பட்ட தானியங்கி இயந்திரமாகும், இது அதிகரிக்கப்படலாம், குறைக்கப்படலாம் மற்றும் பூஜ்ஜியமாக சோதிக்கப்படலாம். பண்புகள் எதிர் தானியங்கியின் வகுப்பு வழக்கமான சரியான மேற்பரப்பு மற்றும் தீர்மானகரமான சூழல் இலவச மொழிகளின் துணைக்குழுவை அடையாளம் காண முடியும். எடுத்துக்காட்டாக, மொழி என்பது ஒரு எதிர் தானியங்கி மூலம் ஏற்றுக்கொள்ளப்பட்ட ஒரு ஒழுங்கற்ற மொழியாகும்ஃ கொடுக்கப்பட்ட உள்ளீட்டு சரத்தில் s களின் எண்ணிக்கையை கணக்கிட இது சின்னத்தைப் பயன்படுத்தலாம் (ஒவ்வொன்றிற்கும் ஒரு எழுத்தை எழுதுதல்), அதன் பிறகு, அது ஒவ்வொன்றிற்கும் ஒரு எண்ணை நீக்கலாம். இரண்டு கவுண்டர் தானியங்கி இயந்திரம், அதாவது இரண்டு குறியீட்டு எழுத்துக்களைக் கொண்ட இரண்டு அடுக்கு டூரிங் இயந்திரம், ஒரு தன்னிச்சையான டூரிங் இயந்திரத்தை உருவகப்படுத்த முடியும். குறிப்புகள் குறிப்புகள் தானியங்கி (கணக்கீடு) கணக்கீட்டு மாதிரிகள்