Bezkontextová gramatika: Definice
Definice: Bezkontextová gramatika (BKG) je čtveřice G = (N, T, P, S), kde
• N je abeceda neterminálů
• T je abeceda terminálů, přičemž N Ç T = Æ
• P je konečná množina pravidel tvaru A ® x,
   kde A Î N, x Î (N È T)*
• S Î N je počáteční neterminál
• Čistě matematicky, P je relace z N do (N È T)*
• Místo relačního zápisu (A, x) Î P zapisujeme pravidla A ® x Î P
• A ® x znamená, že A má být přepsáno na x
• A ® e je nazýváno e-pravidlo
Matematická poznámka k pravidlům:
3/50