We covered, pretty much verbatim, the material on page 4, section "Introduction to Computation Theory and the Chomsky Hierarchy" of Prof. Workman's notes. We started on section "Chomsky's Hierarchy" in Prof. Workman's notes. For type 1 grammars, we will allow the S &rarr &lambda rule provided S is does not appear on the right hand side of any rule.