This is an old revision of the document!

• 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 → eş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”