Ji Won Park > Status Update

Proofs are friendly (no "trivially true" dismissal so far!) and Chapter 1 has landed someone with some abstract algebra background easily onto the world of regular languages. The most useful theorem yet: if P is a closure property defined on a set D and A is a subset of D, then there is a unique minimal set that's a superset of A and has property P.