Documentation

isDead :: forall phi t r rr ix. (EqFam phi, FoldFam phi, MemoFam phi) => GExtendedContextFreeGrammar phi t r rr -> phi ix -> Bool Source

Detect if a given non-terminal in a given grammar is dead. A non-terminal is dead if its production rule can never match anything.