A definition of NPDA with examples and a proof that NPDA accept context free languages.
A site with a formal definition of PDA, some examples and a proof that PDA accept context free lang...
Notes for a linguistics course defining PDA and showing their relation to context free languages.