The document provides information about pushdown automata (PDA), including definitions, deterministic PDAs, and closure properties of context-free languages (CFLs). It also lists important questions about PDAs that may appear on exams. Pumping lemma for CFLs is defined as stating that for any string in a CFL of length greater than a constant n, the string can be divided into five pieces meeting certain conditions related to language membership. Deterministic PDAs are defined as having at most one transition for each state, input symbol, and stack symbol combination.