Differences
This shows you the differences between two versions of the page.
|
soc:laboratoare:04:intro [2024/02/29 14:37] 127.0.0.1 external edit |
soc:laboratoare:04:intro [2026/03/22 11:12] (current) robert_fabian.tudor |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | Un automat finit (Finite State Automaton, sau FSM) este, un model de calculabilitate, folosit pentru proiectarea diverselor programe sau circuite secvenţiale. Altfel spus, automatele cu stari finite ne ajuta sa modelam execution flow-uri, lucru necesar in diverse domenii cum ar fi matematica, inteligenta artificiala, jocuri sau analiza lingvistica (*cough* *cough* A-ul din "LFA" in anul 3). | + | 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 modeleaza o masina ipotetica 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. Asta inseamna ca 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. | + | **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.\\ |
| + | 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. | + | 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. |
