Agregados unos detalles a la gramatica. Implementadas 2 validaciones.