Counter automaton
કોમ્પ્યુટર વિજ્ઞાનમાં, ઔપચારિક ભાષાઓના સિદ્ધાંતમાં વધુ ચોક્કસ, કાઉન્ટર ઓટોમેટન અથવા કાઉન્ટર મશીન, એ માત્ર બે પ્રતીકો સાથેનું એક પુશડાઉન ઓટોમેટન છે, અને પ્રારંભિક પ્રતીક, સ્ટેક પ્રતીકોના મર્યાદિત સમૂહમાં છે. તેવી જ રીતે, કાઉન્ટર ઓટોમેટન એ વધારાના મેમરી સેલ સાથે બિનનિર્ધારિત મર્યાદિત ઓટોમેટન છે જે એક બિન-નકારાત્મક પૂર્ણાંક સંખ્યા (અમર્યાદિત કદની) રાખી શકે છે, જેને વધારી શકાય છે, ઘટાડી શકાય છે અને શૂન્ય હોવા માટે પરીક્ષણ કરી શકાય છે. ગુણધર્મો કાઉન્ટર ઓટોમેટાનો વર્ગ નિયમિતના યોગ્ય સુપરસેટ અને નિર્ધારિત સંદર્ભ મુક્ત ભાષાઓના સબસેટને ઓળખી શકે છે. ઉદાહરણ તરીકે, ભાષા એ બિન-નિયમિત ભાષા છે જે કાઉન્ટર ઓટોમેટન દ્વારા સ્વીકારવામાં આવે છેઃ તે આપેલ ઇનપુટ સ્ટ્રિંગમાં s ની સંખ્યાને ગણતરી કરવા માટે પ્રતીકનો ઉપયોગ કરી શકે છે (દરેક માટે એક લખીને), તે પછી, તે દરેક માટે એક કાઢી શકે છે. બે-કાઉન્ટર ઓટોમેટન, એટલે કે, બે-પ્રતીક મૂળાક્ષર સાથેનું બે-માળનું ટ્યુરિંગ મશીન, મનસ્વી ટ્યુરિંગ મશીનનું અનુકરણ કરી શકે છે. નોંધ સંદર્ભો ઓટોમેટા (ગણતરી) ગણતરીના નમૂનાઓ