Граматики типу 1, яка називають також контекстно-залежними граматиками, не допускають використання будь-яких правил. Правила висновку в таких граматиках повинні мати вид:
aAb®awb,
де AÎ VA
wÎVA, VT
a і b, це ланцюжки, що називаються контекстом і які можуть бути порожніми
Приклад
Vт = {a, b, c, d}, Va = {I, A, B}
R = { I ® aAI,
AI ® AAВ,
A ® b,
B ® bcdA}