<h3>Table of Contents</h3><ulid="menu"><li><ahref="#reductions">Reductions</a><ulclass="lower-alpha"><li><ahref="#nonterminals_useless_in_grammar">Nonterminals useless in grammar</a></li><li><ahref="#terminals_unused_in_grammar">Terminals unused in grammar</a></li><li><ahref="#rules_useless_in_grammar">Rules useless in grammar</a></li></ul></li><li><ahref="#conflicts">Conflicts</a></li><li><ahref="#grammar">Grammar</a><ulclass="lower-alpha"><li><ahref="#grammar">Itemset</a></li><li><ahref="#terminals">Terminal symbols</a></li><li><ahref="#nonterminals">Nonterminal symbols</a></li></ul></li><li><ahref="#automaton">Automaton</a></li></ul><h2><aname="reductions"/> Reductions</h2><h3><aname="nonterminals_useless_in_grammar"/> Nonterminals useless in grammar</h3>
<h3><aname="terminals_unused_in_grammar"/> Terminals unused in grammar</h3>
<h3><aname="rules_useless_in_grammar"/> Rules useless in grammar</h3>