A program that can filter formal grammars for rules that can never terminate.