Agregando la definición de las ecuaciones semánticas para la declaración de variables.