La eliminación de ambigüedad es el proceso de corregir o evitar que una expresión o idea se interprete de más de una forma. La ambigüedad puede surgir de manera involuntaria o intencional, y puede dar lugar a malentendidos o confusión.
Una gramática es ambigua si puede generar una secuencia de símbolos con dos árboles sintácticos diferentes. Una gramática ambigua puede rescribirse para eliminar la ambigüedad.
Ejemplo: <a> ::= <a> (+ | *) <a> | número
Secuencia: 1*2+3
Arboles sintácticos generados:
Una gramática no se puede utilizar para la realización de un compilador por que no especifica la estructura sintáctica del lenguaje.
Aquí, “otra” representa a cualquier otra instrucción. De acuerdo con esta gramática, la siguiente instrucción condicional compuesta:
Ejemplo: La gramática 
es ambigua porque aa tiene dos derivaciones por la izquierda
es ambigua porque aa tiene dos derivaciones por la izquierda
Esta gramática genera el lenguaje a+ que también es el lenguaje generado por la gramática no ambigua 
Proceso
- No existe un algoritmo que nos indique si una GIC es ambigua
- Existen LIC que sólo tienen GIC ambiguas: inherentemente ambiguos
- Para las construcciones de los lenguajes de programación comunes existen técnicas para la eliminación de la ambigüedad
- Ejemplo: causas de ambigüedad en la siguiente gramática
No se respeta la precedencia de operadores
Una secuencia de operadores idénticos puede agruparse desde la izquierda y desde la derecha. Lo convencional es agrupar desde la izquierda.- No existe un algoritmo que nos indique si una GIC es ambigua
- Existen LIC que sólo tienen GIC ambiguas: inherentemente ambiguos
- Para las construcciones de los lenguajes de programación comunes existen técnicas para la eliminación de la ambigüedad
- Ejemplo: causas de ambigüedad en la siguiente gramática
No se respeta la precedencia de operadores
Comentarios
Publicar un comentario