Lecture 10, Oct. 23, 2001. Done in class: (1) Pushdown automata: definition and examples Assigned reading: Sec. 2.2.