UselessProductions

Efficient algorithm that finds non-productive rules in context-free grammars.

A detailed explanation of how the algorithm works can be found in this blog post.