Automatele finite (FSA / FSM) sunt folosite pentru proiectarea diverselor programe sau circuite secvenţiale

Au un număr finit de stări, iar în orice moment de timp se pot afla într-una singura din acestea

Pot executa tranziții, pot primi intrări și pot da la ieșire informații

Se poate clasifica în: Mealy și Moore

Mealy → ieşirea depinde de starea curentă şi de intrarea curentă

Moore → ieşirea este determinată exclusiv de starea în care se află automatul la un moment dat

Stările pot fi codificate folosind mai multe metode: numărare binară, cod Gray, cod „one-hot”, cod „one-cold”