grammar elim{

     terminal a,b,d;
     nonterminal S,B,A,C,D;
     axiom S;

     productions{
          S:=A a| B | D;
          B:=b;
          A:=a A| b A | B;
          C:= a b d;
     }
}


/*
ENG: We will remove the inaccesible symbols to the grammar, in this
     case, the production [C:= a b d;] will be removed.
ESP: Es una gramatica a la que vamos a eliminar los simbolos inaccesibles
     en este caso se eliminara la produccion [C:= a b d;]
*/

print(elim);
gramsimplificad = reminacc(elim);