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