Prin modul de formare a funcțiilor de ieșire, automatele Mili și Moore sunt izolate.
Mile Automaton
Mașina Mealy (mașină de Engl. Mealy) determină valoarea λ funcția de ieșire a simbolului de ieșire în funcție de sistemul clasic al automatului abstracte. Modelul matematic al sistemului de automatului și recurență relațiilor Mealy nu diferă de modelele matematice și schemele de relații de recurență mașină abstractă. Astfel, putem da următoarea definiție:
Automatul determinist finit de tip Mili este colecția a cinci obiecte
cu conectarea elementelor seturilor S. X și Y în timp rezumat T = 0, 1, 2, ... prin ecuațiile:
(Hărțile δ și λ au nume, respectiv, funcțiile de tranziție și funcțiile de ieșire ale automatului A).
O caracteristică a automatului Mealy este că funcția de ieșire este de două argument și un simbol în canalul de ieșire y (t) este detectată numai în prezența lui x (t) caracterul în canalul de intrare. Diagrama funcțională nu diferă de schema unui automat abstract.
Moore Automaton
Dependența semnalului de ieșire numai asupra stării este prezentată în automatele de tipul Moore (mașina engleză Moore). În automatul Moore, funcția de ieșire determină valoarea simbolului de ieșire numai pentru un argument - starea automatului. Această funcție este numită și o funcție de etichetă, deoarece atribuie o etichetă output-ului fiecărei stări automate.
Diagrama funcțională a automatului Moore
Un automat determinat finit de tip Moore este o colecție de cinci obiecte: A = (S. X. Y. δ. Μ). >>
cu dependența stărilor și a semnalelor de ieșire în timp prin ecuația:
O caracteristică a mașinii Moore este că simbolul y (t) în canalul de ieșire există tot timpul în timp ce mașina se află în stare s (t).
Pentru orice automotor Moore, există un automat Mieley care implementează aceeași funcție. În schimb, pentru orice automat Mili, există un automat Moore adecvat (posibil cu o schimbare de timp, adică μ (s (t + 1)) = λ (s (t) .
Alte clase de automate
Este interesant să identificăm clase speciale de automate. modele matematice de care se bazează doar pe doi purtători de algebră.
Să presupunem că | X | = 1. Atunci modelul matematic și sistemul relațiilor de recurență au forma:
O caracteristică a funcționării unui astfel de automat este generarea unei secvențe de simboluri a cuvântului de ieșire numai în funcție de secvența stărilor automatului.
Un astfel de automat a fost numit automat autonom determinat determinist.
Pentru fiecare stare inițială s (0) = s i 0 >>> _> și un număr natural t, automatul B definește două secvențe:
Mașina de stare finită poate fi reprezentată ca un convertor al secvențelor de intrare la ieșire. În acest caz, secvențele de ieșire pot fi considerate generate, iar intrarea - așa cum este reprezentată. Secvențele de ieșire ale automatului determină setul de cuvinte generate de acest automat. Se spune că un KDA autonom se generează. dacă cuvântul generat de acesta este reprezentat ca o secvență de ieșire, o astfel de secvență se numește automatul generat de secvența dată.
Diagrama funcțională a automatului de generare
Fie Y = ∅ >>. Apoi, modelul matematic și sistemul relațiilor de recurență au forma:
Clasificarea automatelor prin natura citirii discrete a timpului
Prin natura eșantionării timpului discret, automatele sunt împărțite în sincron și asincron.
În mașinile sincrone de stare finită, momentele la care automatul citește semnalele de intrare sunt determinate de semnalele de sincronizare forțată. După următorul semnal de ceas, ținând cont de „citit“ și în conformitate cu rapoartele de funcționare a mașinii există o tranziție la o nouă stare și emiterea semnalului de ieșire, după care aparatul poate accepta valoarea următoare a semnalului de intrare.
Asynchronous mașină de stat citește semnalul de intrare este continuă și, prin urmare, reacția dintre o valoare constantă de intrare suficient de lungă x, se poate, după cum rezultă din relațiile la funcționarea mașinii, de mai multe ori pentru a schimba starea, oferind un număr corespunzător de semnale de ieșire, până când acesta va intra într-o stare stabilă, care nu mai pot fi modificate de acest semnal de intrare.
Articole similare
Trimiteți-le prietenilor: