Unreachable nonterminal (source code)

= Unreachable nonterminal

A nonterminal is unreachable when no word derivable from the start symbol contains it. Productions whose left sides are unreachable do not affect the generated <formal language theory>[language].