Counter Automaton

Home > Languages > Formal Language > Pushdown Automata > Counter Automaton

This PDA uses a counter to keep track of the number of symbols pushed onto its stack. It is more powerful than DPDA and less powerful than NPDA.