Library/Memory automata/DPDA DPDA · Deterministic context-free aⁿbⁿ @thethinkmachine·version 1·CC BY 4.0·added 28 Sept 2026 The textbook Deterministic Pushdown Automaton example. Open in AutomataStudio More ▾ Open in the desktop app Download the .automaton file Source on GitHub push-apop-bacc The machine as drawn — 3 states, 5 transitions.