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