Counter automaton

In computer science, a counter automaton is a pushdown automaton with only two symbols, and the initial symbol in , the finite set of stack symbols. This class of automata can recognize a subset of context-free languages, for instance the language To accept the above language, let be a word of the form above. The automaton can use the symbol to count the number of s in (writing an for each in ) and deleting an for each in .

Counter automaton

In computer science, a counter automaton is a pushdown automaton with only two symbols, and the initial symbol in , the finite set of stack symbols. This class of automata can recognize a subset of context-free languages, for instance the language To accept the above language, let be a word of the form above. The automaton can use the symbol to count the number of s in (writing an for each in ) and deleting an for each in .