Formal diLLƏr və avtomatlar nəZƏRİYYƏSİ

4.2 Qrammatikanın klassifikasiyası
Törəmə qrammatikanın qaydaları sətirlərin çevrilməsinə gətirir.Qaydalara qoyulan məhdudiyyətlər vasitəsilə qrammatikaların sinifləri müəyyən edilir.N.Xomskiy tərəfindən təklif olunan klassifikasiya aşağıdakı kimidir:

0 tipli qrammatika – çıxış qaydalarına məhdudiyyət qoyulmur;

1 tipli qrammatika və ya kontekst qrammatika –bu qrammatikada qaydalar aşağıdakı şəkildə olur: хАу → хϕу, haradaki, A ∈ V^N, x, y, ϕ ∈ (V_N ∪V_T)⁺.

2 tipli qrammatika – azad- kontekst (KS- qrammatika).Çıxış qaydaları aşağıdakı şəkildə olur:А → ϕ, haradaki, А ∈V_N, ϕ∈(V_N ∪V_T)*.

3 tipli qrammatika – avtomat qrammatikadır və 2 tipə ayrılır:

a) sol xəttli(sol rekursivli) – çıxış qaydası aşağıdakı kimidir: А → Аа | a, haradaki, А ∈ V_N;

b) sağ xəttli (sağ rekursivli) – çıxış qaydası aşağıdakı kimidir: А → Аа | a.