grammar inut{

     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: The useless symbols will be removed from the grammar, in this
     case the productions [C:= a b d;] and [S:= D;] will be removed.
ESP: Es una gramatica a la que vamos a eliminar los simbolos inutiles
     en este caso se eliminaran las producciones [C:= a b d;] y [S:= D;].
*/

print(inut);
gramsimplificad = remuseless(inut);