Redefinicion de terminales