grammar conunitarias{

     terminal a,b;
     nonterminal A,B,C;
     axiom A;

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

/*
ENG: We are going to apply the "remunit" algorithm in order to
     eliminate the unitary productions.
ESP: Es una gramatica a la que vamos a aplicar el algoritmo "remunit"
     para eliminar las producciones unitarias.
*/
print(conunitarias);
sinunitarias=remunit(conunitarias);