Computers

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 languages.

A Wikipedia article with a definition and simple example.