Kontextová gramatika (KG)
Definice: Nechť G = (N, T, P, S) je neomezená gramatika. G je kontextová gramatika (KG), pokud každé pravidlo x ® y Î P splňuje podmínku: |x| £ |y|.
Myšlenka: Omezení NG
30/45
Pozn.: Þ, Þn, Þ+, Þ* a L(G) je definováno stejně jako  u neomezených gramatik.