
Introduction to
Ambiguity
Theory: J ´ Practice: L
Theory: L ´ Practice: J
Gexpr2 = (N, T, P, E), where
N
= {E},
T = {i, +, *,
(, )},
P
= { 1: E ® E+E, 2:
E ® E*E,
3:
E ® (E), 4: E ® i }
Gexpr1 = (N, T, P, E), where
N
= {E, F, T},
T = {i, +, *,
(, )},
P
= { 1:
E ® E+T, 2: E ® T,
3:
T ® T*F,
4: T ® F,
5:
F ® (E),
6: F ® i }
E
E
T
+


T
F
*
F
T
i
F
i
i
E
E
E
+
*
i
i
i
E
E



Improper during compilation



E
E
E
+
*
i
i
i
E
E








Note:
L(Gexpr1) = L(Gexpr2)
18/50