EQUIVALENCE OF CFL AND PDA

• If L is a CFL, then there exists a PDA M such that L = N(M)
  • 
  • 
• If L is N(M) for some PDA M, then L is a CFL.
  • e.g.
  • We show that iff
    • 
    • 
  • Specializing to the Theorem