Useless rules

From Wikipedia, the free encyclopedia

In formal grammar, useless rules are rules of symbol production which are unreachable or unproductive, that is, they are rules of production which can never be applied.

[edit] Cleaning Useless Rules

[edit] Examples

S \to Bb | Cc

B \to Bb | b

C \to Cc | c

D \to Bd | Cd

D is unreachable.

Languages