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 artificiala, jocuri sau analiza lingvistică (*cough* *cough* A-ul din “LFA” in anul 3).

Un FSM modelează o mașină avand un numar finit de stari. Trasatura fundamentala a acestei masini este ca numai una din aceste stari poate fi activa in oricare moment de timp. Așadar, pentru a putea executa toate actiunile pentru care a fost proiectata, aceasta trebuie sa isi schimbe starea activa (sau curenta) in functie de niste conditii prestabilite.
Vom parcurge în acest laborator 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ă mari categorii generale.