===========================================================
Simplification of Context-Free Grammars and Normal Forms
===========================================================
 
See the Linz textbook.