• Nechť Gexpr = (N, T, P, E), kde N = {E},
T = {(, ), id1, id2, …, idm, op1, op2, … opn},
P = { E ® (E), E ® id1, E ® id2, …, E ® idm,
E ® E op1 E, E ® E op2 E, …, E ® E opn E }
Pozn.: id1, id2, …, idm jsou
identifikátory,
op1, op2, … opn jsou rozdílné
operátory