Konvence
• A, … , F, S : neterminály
• S : počáteční neterminál
• a, … , d : terminály
• U, … , Z : prvky množiny (N È T)
• u, … , z : prvky množiny (N È T)*
• p : sekvence pravidel
4/50
Každá podmnožina pravidel tvaru:
A ® x1, A ® x2 , …, A ® xn 
může být zjednodušeně zapsána jako:
A ® x1 | x2 | … | xn