Un automat finit (AF) sau o "ma?

in� cu un num�r finit de st�ri" este un model de

comportament compus din st�ri, tranzi?ii ?i ac?iuni. O stare stocheaz� informa?ii
despre trecut, adic� reflect� schimb�rile intr�rii de la ini?ializarea sistemului
p�n� �n momentul de fa?�. O tranzi?ie indic� o schimbare de stare ?i este descris�
de o condi?ie care este nevoie s� fie �ndeplinit� pentru a declan?a tranzi?ia. O
ac?iune este o descriere a unei activit�?i ce urmeaz� a fi executat� la un anumit
moment. Exist� c�teva tipuri de ac?iuni:

Ac?iune de intrare
executat� la intrarea �ntr-o stare
Ac?iune de ie?ire
executat� la ie?irea dintr-o stare
Ac?iune de intrare de date
ac?iune executat� �n func?ie de starea prezent� ?i de datele de intrare
Ac?iune de tranzi?ie
ac?iune executat� �n momentul unei tranzi?ii
AF poate fi reprezentat printr-o diagram� de st�ri (sau diagram� de st�ri ?i
tranzi?ii) ca �n figura 1. �n plus, se folosesc ?i tabele de tranzi?ie. Cea mai
comun� reprezentare este dat� mai jos: combina?ia st�rii curente (B) ?i condi?iei
(Y) d� starea urm�toare (C). Informa?ii complete privind ac?iunile pot fi ad�ugate
doar ca note de subsol.