Garca Rodrguez Josu Salatiel

1.
2.
3.
4.
5.

Lenguajes Formales y Autmatas

Grupo: 1507

SABC
Aaab
BA
CA
A*A

a
b

*
A

A
a
b

Garca Rodrguez Josu Salatiel

Lenguajes Formales y Autmatas

Grupo: 1507

Una GIC G = (V, T, P, S) es ambigua si existe al menos una cadena w en T * para la que podemos encontrar dos
rboles de derivacin distintos con la raz etiquetada con S y cuyo resultado es w. POR LO TANTO SI HAY
AMBIGEDAD EN LA PRPUESTA GENERADA.
Para la eliminacin de ambigedad se procede a lo siguiente.
No existe un algoritmo que nos indique si una GIC es ambigua
Existen LIC que slo tienen GIC ambiguas: inherentemente ambiguos
Para las construcciones de los lenguajes de programacin comunes existen tcnicas para la eliminacin de la
ambigedad