New proofs of old theorems By anders pearson 28 Oct 2000 New proofs of old theorems formal language theory in verse form. Tags: humor