estructural, se tiene que demostrar, utilizando las reglas semánticas del lenguaje, que la expresión "(niveles AVacio)" termina y que si "(niveles i)" y "(niveles d)" terminan entonces "(niveles (Nodo (i, n, d))" termina también.