code: function Grammar(signature) {
    this.production_rules = [];
    this.nonterminals = {};
    this.symbols = {};
    this.start_symbol = "";
    this.is_CNF = true;
    this.hasUnificationConstraints = false;
    this.signature = signature;
  }
docs: Constructor