About Push-Down Automata and Context-Free Grammars
Push-Down Automata and Context-Free Grammars- Lecture notes defining context free grammars and closure and decidability properties of context free languages. There is a short section showing that natural languages are not context free.
