Rule: F ® i {F.type := i.type;
generate(:=, i.loc,
,F.loc) }
• Make a type-checking for a grammar:
• Gexpr1 = (N, T, P, E),
where N = {E, F, T},
T = {i, +, *,
(, )},
P = { E ® E+T, E ® T, T ® T*F, T ® F, F ®
(E),
F ® i }
• Operators *,
+ are defined as: