Pushdown Automaton (PDA)

Design, analyze, and simulate pushdown automata

Pushdown Automaton Definition

Build your PDA step by step. Start with basic definition, then add transitions.

States & Structure

States (Q)

Initial State (q₀)

Final States (F)

Alphabets

Input Alphabet (Σ)

Stack Alphabet (Γ)

Initial Stack Symbol (Z₀)

Simulation

Test Input String

Sample Inputs