What is the strongest arithmetic theory that a DFA, DPDA or PDA can decide?

It is known that a DFA can decide S1S. Is this the strongest arithmetic theory that a DFA can decide? What happens when the automaton class weakens to include DPDA and PDA?