O mașină abstractă este un model matematic al unui dispozitiv de control discret. Acesta este definit de un set de șase elemente:
Z = 1, ..., zf, ..., zF> este setul de semnale de intrare (alfabet de intrare);
W = 1, ..., wg, ..., wG> este setul de semnale de ieșire (alfabet de ieșire);
-Funcția de tranziție care realizează cartografierea setului
dd ÍA'Z în A (ca =;
- Funcția de ieșire realizând cartografierea setului
a1 ÎA este starea inițială a automatului.
Se spune că un automat este finit. dacă seturile A, Z și W sunt finite.
Un automat este numit complet definit. în cazul în care. adică domeniul funcțiilor și coincide cu setul tuturor perechilor de forma (am. zf).
Pentru un automat parțial, funcțiile sau nu sunt definite pentru toate perechile (am.zf)ÎA'Z.
Conceptul de Stat în definiția automatului introdusă datorită faptului că este adesea necesar pentru a descrie comportamentul sistemelor a căror ieșiri depinde nu numai de stările de intrare la un moment dat, ci dintr-o anumită istorie, adică, semnalele care sunt primite la intrare înainte de sistemul . Stat să corespundă exact o amintire a trecutului, permițându-vă să elimine timp ca o variabilă explicită și exprimă semnale de ieșire în funcție de stări și intrări la un moment dat.
Masina abstractă are un canal de intrare și un canal de ieșire. La fiecare instantaneu t = 0, 1, 2, ... de timp discret, automatul este într-o stare definită a (t)ÎA. Pentru t = 0, acesta este întotdeauna în stare normală a (0) = a1. La momentul t, fiind în starea a (t), automatul este capabil să perceapă pe canalul de intrare semnalul z (t)ÎZ și dă semnalul w (t) = l (a (t), z (t)) către canalul de ieșire, trecând la starea a (t + t)ÎA, w (t)ÎW.
Semnificația conceptului de automată abstractă este aceea că implementează o anumită mapare a setului de cuvinte al alfabetului de intrare Z în setul de cuvinte ale alfabetului de ieșire W.
În practică, cele mai frecvente mașini erau Mili și Moore.
Legea automatului Mili este dată de ecuațiile:
a (t + 1) = d (a (t), z (t)); w (t) = 1 (a (t), z (t)), t = 0, 1, 2, ...
Legea de funcționare a automatului Moore:
a (t + 1) = d (a (t), z (t)); w (t) = 1 (a (t)), t = 0, 1, 2, ...