Pravidlo: F ® i {F.type := i.type;
generate(:=, i.loc,
,F.loc) }
• Vytvořme kontrolu typů pro následující gramatiku:
• Gexpr1 = (N, T, P, E),
kde N = {E, F, T},
T = {i, +, *,
(, )},
P = { E ® E+T, E ® T, T ® T*F, T ® F, F ®
(E),
F ® i }
• Operatory
*, +
jsou definovány: