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

2.MY-avtomatın azalan təhlili
Azalan təhlil zamanı hər hansı bir qayda tətbiq olunur.İlkin anda bu aksiomdur.Azalan təhlildə işləyən MY-avtomatın alqoritmi aşağıdakı kimi olur.

1)İlkin anda maqazinə aksiom yazılır: p₀, ε, ε → p₁, S;

2)Hər bir A→ϕ∈P qaydası üçün maqazinin başındakı terminal qaydanın sağ hissəsi ilə əvəz olunur: p₁, ε, A → p₁, ϕ;

3)Hər bir a∈V_T terminalı üçün giriş lentindəki simvolla maqazinin başındakı simvol müqayisə olunur. p₁, a, a →p₁, ε

4)Təhlil aşağıdakı əmrlə başa çatır: p₁,ε,B₀ → f, B₀.

Əvvəlki misalda verilən qrammatikaya əsasən o, giriş zəncirinin azalan strategiya ilə təhlili aşağıdakı əmrlər vasitəsilə yerinə yetirilir:

1)Aksiomun maqazinə yazılma əmri: p₀, ε, ε → p₀, S;

2)Qaydanın sağ tərəfindəki terminalın dəyişmə əmrləri:

p₁, ε, S → p₁, S+A

p₁, ε, S → p₁, S/A

p₁, ε, S → p₁, A

p₁, ε, A → p₁, a

p₁, ε, A → p₁, (S);

3) Müqayisə və yeyilmə (udulma,yox edilmə) əmrləri:

p1, a, a → p1, ε

p1, +, + → p1, ε

p1, /, / → p1, ε

p1, (, ( → p1, ε

p1, ), ) → p1, ε;

4)Təhlilin sona çatma əmri: p₁, ε, B₀ → f, B₀.

Buradan belə nəticəyə gəlmək olar ki,əgər zəncir verilmiş qrammatikadan əmələ gələn dilə məxsusdursa,onda avtomatın fəaliyyətini göstərən variantlardan biri düzgün təhlil aparacaqdır.Əgər zəncir dilə aid deyilsə,təhlilin heç bir variantı bir nəticəyə gəlməyəcəkdir.