This is an old revision of the document!

Un automat finit (FSA - Finite State Automaton sau FSM - Finite State Machine) este un model de calculabilitate folosit pentru proiectarea diverselor programe sau circuite secvențiale. Altfel spus, automatele cu stări finite ne ajută să modelăm fluxuri de execuție. Acestea au aplicații în diverse domenii cum ar fi matematica, inteligența artificială, jocuri sau analiza lingvistică (*cough* *cough* A-ul din “LFA” in anul 3).

Un FSM modelează o mașină având un număr finit de stări. Trăsătura fundamentală a acestei mașini este că, la un moment dat, numai una dintre stările sale poate fi activă. Așadar, pentru a putea executa toate acțiunile pentru care a fost proiectată, aceasta trebuie să își schimbe starea activă (sau curentă) în funcție de niște condiții prestabilite.
În cadrul acestui laborator, vom parcurge o modalitate de reprezentare a stărilor și tranzițiilor automatelor.

Automatele finite, pe lângă faptul că au stări şi tranziţii, pot primi intrări şi pot da la ieșire diverse informaţii, ceea ce le dă şi utilitatea. Din punctul de vedere al condiţiilor în care automatele dau informaţii la output, ele sunt împărţite în două categorii: Mealy și Moore.