Actualizado hasta gramáticas de atributos con la corrección de Lago