Nodurile și dispozitivele care conțin elemente de memorie aparțin clasei de automate cu memorie (automate digitale). Prezența elementelor de memorie permite automatului să aibă o stare internă Q determinată de setul de stări ale tuturor elementelor de memorie. În funcție de starea internă, aparatul de memorie reacționează diferit la același set de semnale de intrare X. Aparatul intră într-o stare nouă și generează un set de semnale de ieșire Y / 4 /. Schema generală a automatului cu memorie poate fi reprezentată condițional după cum urmează (Figura 2.8):
Figura 2.8 - Schema generală a automatului cu memorie
X - un set de semnale de intrare care acționează simultan; Y - un set de semnale de ieșire; Q este o colecție de stări interne.
Tranzițiile unui automaton de la o stare la alta încep cu o stare inițială Q0. În acest caz, tranziția de la starea curentă la noua stare se face în conformitate cu regulile specificate de funcția de tranziție f. și depinde atât de starea actuală a Qt. și de la semnalele de intrare la ora curentă Xm. Semnalele de ieșire la ora curentă Ym sunt formate conform regulilor definite de funcția de ieșire # 966 ;. și depinde de starea curentă a automatului Qm și de semnalele de intrare curente Xm. Întreaga secvență de semnale de intrare determină secvența stărilor automatului și a semnalelor sale de intrare. Aceasta explică numele "circuite secvențiale", care este de asemenea utilizat pentru a denumi automatele cu memorie / 4 /.
Structurally, automatele cu memorie diferă de circuitele combinate prin prezența în circuitele (automate) a feedback-urilor, ca urmare a apariției în memorie a proprietăților memoriei de stare. În conformitate cu / 4 /, în reprezentarea canonică, automatele digitale sunt împărțite în două părți: memorie și un circuit de combinare. Intrările circuitelor combinate sunt alimentate cu semnale de intrare și semnale de stare ale automatului, semnalele de ieșire și semnalele pentru transferul automatului în stare nouă sunt generate la ieșirea circuitului de combinare.
Starea automatului cu memorie este numită stabilă. dacă aceasta, survenită sub influența semnalelor de intrare, continuă să rămână nelimitat de lungă, păstrând în același timp sau repetând aceste semnale de intrare.
Pe tipuri de dependență a stărilor de tranziție și a semnalelor de ieșire, automatele digitale sunt împărțite în două clase:
1) Mile Automata - în ele un nou semnal de stare și de ieșire depinde atât de starea curentă a aparatului, cât și de semnalele de intrare actuale, care sunt descrise prin formulele 2.1 și 2.2.
2) Moore automata - în ele noua stare depinde de starea curentă și de semnalele de intrare curente, iar semnalele de ieșire se află numai în starea curentă, care este descrisă prin formulele 2.3 și 2.4.
Un automat autonom cu memorie este o mașină digitală care nu are intrări de informații și trece de la o stare la alta sub acțiunea semnalelor de sincronizare în conformitate cu un algoritm determinat de structura automatului.
Un automat elementar cu memorie este o mașină digitală cu următoarele proprietăți:
1) este un automat Moore;
2) numărul de stări ale automatului este de două;
3) este determinist (regula de tranziții și ieșiri sunt valori unice):
4) are un sistem complet de tranziții și ieșiri (funcții de tranziție f și ieșiri # 966; sunt descrise pentru toate stările admisibile și semnalele de intrare);
5) canalele structurale ale mașinii poartă informații binare.
De obicei, automatul elementar are două ieșiri: unul direct, celălalt invers, care sunt considerate ca un canal structural. Teoria automatelor descrie principiile dezvoltării, proiectării și realizării automatelor cu memorie. Un exemplu remarcabil de automatizare digitală elementară este un declanșator, care va fi discutat mai detaliat mai jos.