Closure properties of CFLs (chapter 8, section 5 of text). Showed L = {a^n b^m s.t. m not equal to n} is not context-free using closure properties of CFL's. In particular, we saw how intersecting the complement of L with (a* b*) is helpful (see answers to HW4 .) Started reviewing for Exam 2.