public boolean isReduced(){
  return (!hasNotReachableNonTerminals() && !hasNotProductiveNonTerminals());
}

public boolean isReduced ( ) { return ( ! hasNotReachableNonTerminals ( ) && ! hasNotProductiveNonTerminals ( ) ) ; }
convenience method to query if the corresponding original grammar is reduced
