Mașini de stat finite sunt principalele prevederi ale

Contactul și valorile logice ale variabilelor de ieșire este determinată numai de o combinație de variabile la intrările la un moment dat, astfel încât acestea sunt numite circuite combinaționale. În cazul mai general variabilele de ieșire depind de valorile variabilelor de intrare nu numai la un moment dat, dar, de asemenea, de la valorile lor anterioare sau valori ale variabilelor de ieșire este determinată de secvența de valori de intrare. Schema cu aceste proprietăți sunt numite consistente.

În cazul în care variabilele de intrare și de ieșire sunt dintr-un alfabet finit, astfel de sisteme sunt numite automate finite.

În cazul în care relația dintre variabilele de intrare și de ieșire sunt exprimate în funcții booleene, mașinile de stat definite alfabet structural binar. În condiții reale, semnalele sunt reprezentate prin funcții continue de timp, astfel încât să distingă în mod fiabil semnalele impun ca noi valori la intrările care apar după tranzitorii asociate cu valorile anterioare.

Luând în considerare structura mașinilor logice, de obicei, sunt deviate de la a fi procese dinamice și cred că variabilele schimba instantaneu la un anumit interval de timp numit masura (

).

momente ceas.

determinate de semnalele de sincronizare.

timp discret automaton:

, care nu depinde de timpul fizic, un număr de taktaυ

funcții de ieșire circuite secvențiale ca argumente cu excepția variabilelor de intrare cuprind în mod necesar o multitudine de variabile intermediare S1. S2, ..., Sk ce caracterizează starea circuitului.

Setul de toate stările posibile, inerente acestui sistem - un set de stări.

Astfel, starea mașinii de stat în orice moment al valorilor de ceas caracterizate printr-un set de variabile, care, împreună cu valorile date ale variabilelor de intrare pentru a determina variabilele de ieșire de la această clipă ceasul și în picioare lângă.

Prin urmare, mașinile trebuie să fie în măsură să mențină starea anterioară a măsurii următoare, în legătură cu ceea ce ei au numit un automat cu memorie. Deoarece memoria utilizată pe scară largă elemente de întârziere, ieșirile care se repetă de intrare schimbare de timp de expunere în intervalul dintre bătăi

, de exemplu, de declanșare.

Tipuri de automate finite

Mașina M de stat -

Sistem cu alfabetul de intrare finită și capătul de ieșire alfabet, un set finit de două funcții caracteristice sostoyaniyi

care a ajuns la scadență ordinele nazyvayutsyafunktsiyami și funcțiile de ieșire. Pe lângă o diagramă bloc a automatului este dată de:

În termeni generali, aparatul de stat - un model matematic care reprezintă fenomenele fizice sau abstracte a naturii diversă. În definiția automatului 3 participă seturi finite X, Y, S și 2 funcții

și, Definirea relațiilor dintre elementele seturilor. Prin urmare, pregătirea unei mașini de stat poate fi reprezentat ca:

Automaton a căror producție variabile sunt funcții ale variabilelor de intrare și starea - masina de primul tip sau Mealy.

Automaton ale căror variabile de intrare sunt o funcție doar de stat - mașină de al doilea tip sau Moore automatului.