(false and (74 >= 34)) xor 45 < 78 ;

El análisis semántico en CUPse hace de forma ascendente,por ello se parte del árbol completo para su explicación.

Al aplicar una reducción en elárbol se calcula el valor de ciertoo falso de la parte a reducir y sepasa al antecedente como atributosintetizado.

En este caso se reduce el terminalFALSE al no terminal J que pasaa tener en su atributo “valor” elvalor false.

Se reduce J a L tomando L ensu atributo “valor” el que teniaJ en el mismo atributo.

Antes de reducir se calcula el valorde la expresión “74 >= 34” para darvalor al atributo “valor” del no terminal C, pasando este a valerTRUE.

El valor TRUE va ascendiendoen las sucesivas reducciones delos no terminales en el atributo“valor” de cada no terminal.

Al reducir el consecuente “(L)” se pasa al atributo “valor” del no terminal J el valordel atributo “valor” del no terminal L, ascendiendo de este modo en el árbol.

Antes de reducir el consecuente “L AND J” se calcula el valor de la expresiónsegún sus atributos “valor” y el operador AND para dar valor al atributo “valor”de L al reducir.

En los sucesivos pasos se repite el esquema explicado ascendiendo en lasreducciones los valores hacia el atributo “valor” del antecedente, hasta quefinalmente se llega a reducir el árbol completo llegando el valor final al no terminal A.