Ungenerative, Unreacheable, Useless symbols removal, Greibach Normal
Form, Chomsky Normal Form