Terminado el método toString de la gramática.