#### Step 2: Define the PDA components
A Pushdown Automaton (PDA) is defined by a 6-tuple (Q, Σ, Γ, δ, q_0, F) where:
- Q is a set of states,
- Σ is an input alphabet,
- Γ is a stack alphabet,
- δ is a transition function,
- q_0 is the start state,
- F is a set
Show more…