What is a lambda-production rule?
When is a variable erasable? How can this be computed?
How can context free languages remove lambda-rules from their grammar?
What is a unit production rule? How can they be removed?
What is the Chomsky Normal Form? What is special about this form?
How can a context-free language be transformed into Chomsky Normal Form?