Контекстно-вільні граматики; КВ-граматики

Якщо кожне правило в безконтекстній граматиці в правій частині має не більше однієї допоміжної букви, така граматика називається лінійною.

Граматика називається граматикою типу 3, коли припустимі лише правила виду , де ω=аВ або ω=а, де А, , .

Граматики типу 3 називаються автоматними регулярними.

Введені класи можуть бути розбиті на підкласи (пізніше). Мови типу 3, введені С.К. Кліні у зв'язку з дослідженням моделі нейрона, та називаються також мовами Кліні, мовами зі скінченним числом станів.

Ці мови широко використовуються при дослідженні електронних схем.

Клас граматик, що мають тип i, позначаються Δi.