• 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
• About this document ...