Counter · One-counter
Bank account: never overdrawn
Deposits (+) and withdrawals (−) where the balance never goes negative and ends at exactly zero. One counter separates this from anything a DFA could ever check.
The author’s examples, run
+- → accept++-- → accept+-+- → accept+--+ → reject++- → reject- → reject