documentación

expr - expr - expr
El parser podría entonces aplicar la regla a los tres símbolos de más a la derecha,
reduciendo entonces a expr, dejando:
expr - expr
Ahora la regla puede ser reducida una vez más. El efecto es tomar la interpretación
correspondiente a la asociatividad a derecha. Así, habiendo leído:
expr - expr
el parser puede hacer una de dos acciones legales, un shift o una reducción. No tiene forma de
decidir entre ambas. Esto es un conflicto shift-reduce. El parser puede también tener que elegir
entre dos reducciones legales. Este es un conflicto reduce-reduce. Notar que nunca hay
conflictos shift-shift.
Cuando hay conflictos shift-reduce o reduce-reduce, Yacc de todos modos produce un
parser. Lo hace seleccionando una de las acciones legales cuando tiene que elegir. Para ello, el
programa Yacc provee dos reglas de desambiguación:
1. En un conflicto shift-reduce, la acción por defecto es el shift
2. En un conflicto reduce-reduce, el defecto es reducir por la primera regla (en la
especificación Yacc)
La regla 1 implica que las reducciones son diferidas en favor de los shifts cuando es
necesario elegir entre ambas acciones. La regla 2 le da al usuario el control sobre el
comportamiento del parser en esta situación, aunque los conflictos reduce-reduce deberían ser
evitados en lo posible.
El uso de acciones dentro de las reglas puede también causar conflictos si la acción debe
hacerse antes que el parser pueda estar seguro de cual regla está reconociendo. En estos casos,
la aplicación de las reglas de desambiguación es inapropiada, y llevaría a un parser incorrecto.
Por esta razón, Yacc siempre reporta el número de conflictos shift-reduce y reduce-reduce
resueltos por la Regla 1 y por la Regla 2.
En general, si es posible aplicar las reglas de desambiguación para producir un parser
correcto, también es posible reescribir las reglas de la gramática de modo que las mismas
entradas puedan ser leídas sin conflictos. Por esta razón, la mayoría de los generadores de
parsers previos, consideraban los conflictos como errores fatales. Sin embargo, Yacc producirá
parsers aún en presencia de conflictos.
Como un ejemplo del poder de las reglas de desambiguación, consideremos:
sent : IF ´(´ cond ´)´ sent
| IF ´(´ cond ´)´ sent ELSE sent
;
que es un fragmento de un lenguaje de programación correspondiente a una sentencia if-thenelse.
En estas reglas, IF y ELSE son tokens, cond es un símbolo no terminal describiendo
expresiones condicionales (lógicas), y sent es un símbolo no terminal describiendo sentencias.
Llamaremos regla if simple a la primera, y regla if-else, a la segunda.
Estas dos reglas forman una construcción ambigua porque una entrada de la forma:
14