Estas reglas pueden expresarse formalmente usando gramáticas de atributos.