Pushdown automata slides and presentations