#ifndef grr_nondead_H
#define grr_nondead_H
/* grr_nondead.c - procedures for removing symbols that have no terminating phrase. */
/* Last edited on 2024-12-21 11:48:28 by stolfi */

#include <string.h>
#include <stdlib.h>
#include <assert.h>
#include <stdio.h>

#include <vec.h>

#include <grr_grammar.h>

  
Grammar_t *grr_remove_invalid_symbols(Grammar_t *G);
/* 
  Given a grammar {G} (without empty rules?), returns an
  equivalent grammar {G1}  without any symbols and rules
  that produce no terminal phrases. */

#endif