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

5.7.1.Mili avtomatı
Mili avtomatı beşlik şəklində verilir: M = (К, X, Y, f, g),haradaki,
К – avtomatın vəziyyətlər çoxluğu;

X - giriş əlifbası;

Y – çıxış əlifbası;

f- keçidlər funksiyası (K ⋅ X → K təsviri);

g – çıxışlar funksiyası (K ⋅ X → Y təsviri).

Digər istənilən avtomatlar kimi Mili avtomatını da ya cədvəl, və ya qraf şəklində təsvir etmək olar.Keçidlər qrafında Mili avtomatı əyrilərdə “/” simvolu ilə giriş və çıxış simvolları verilir.

Keçidlər cədvəli 2 hissədən ibarətdir:sol tərəfdə çıxış funksiyasının qiymətləri, sağ tərəfdə isə -keçidlər funksiyasının qiymətləri.

Məsələn:Hesabi ifadəni tanıyan çeviricini quraq,hansı ki,bu ifadələrdən artıq unar əməliyyatları yox edir.Qrammatika aşağıdakı kimidir:

S → a+S | a−S | +S | −S | a

Məs. −a+−а−+−а ifadəsini –а−а+а –yə çevirəcək.Giriş dilində a simvolu identifikatoru təsvir edir və idenfikatordan əvvəl unar əməliyyatların + və − işarələrinin ixtiyari ardıcıllığı içazə verilir.Qeyd edək ki,giriş dili requlyar şoxluq adlanır.

Tutaq ki, M = (К, X, Y, f, g), haradaki,

1. К = {q₀, q₁, q₂, q₃, q₄},

2. X = {a,+, −},

3. Y = X.

M çevirisi öz işini q₀ vəziyyətində başlayaraq, q₀ və q₄ vəziyyətlərini “−” giriş simvolunda növbələşdirərək,işarənin cüt və ya tək sayda olduğunu təyin edir.

− birinci a simvolundan əvvəldə yerləşir.a görünən kimi M çeviricisi q₁ vəziyyətinə keçir.Görünən minusların tək və cüt sayda olmasından asılı olaraq, girişdə ya a , ya da −a verilir.a-nın növbəti simvolları üçün o, q₂ və q₃ vəziyyətlərinin köməyilə minusların tək və ya cüt olduğunu hesablayır. q₂, q₃ və q₀, q₄ cütlükləri arasındakı yeganə fərq aşağıdakılardan ibarətdir:

Əgər a simvolundan əvvəl minusların sayı cüt olarsa,onda birinci tək a yox , +a verir.

Cədvəl aşağıdakı kimi olur: