Граматика типу 2

Граматики типу 2 називають контекстно-вільними або безконтекстними граматиками ( КВ-граматики чи Б-граматики).
Правила висновку таких граматик мають вид:
A®a

AÎV_A

aÎV_T, V_A

У лівій частині стоїть один нетермінал, права частина може містити ланцюжки V_A, V_T.

Приклад

V_т = {a, b}, V_a = {I},

R = { I ® aIa,

I ® bIb,
I ® aa,
I ® bb}.