1.2.

MAINI CU STRI FINITE Automatele finite sunt foarte mult folosite in lingvistica computaionala pentru o gama larg de aplicaii cum ar fi analiz morfologic,telefonie,transformarea textului in vorbire i altele. Motivul pentru care sunt asa de mult folosite este ca automatele finite sunt foarte bine nelese matematic i pentru c sunt foarte simple . De asemenea automatele finite sunt foarte uor de implementat si de obicei implementrile sunt eficiente. Prin urmare automatele finite sunt soluii bune. Totui ceva foarte simplu aa cum sunt automatele finite trebuie a fie i restrictiv i prin urmare nu vom putea gsi pentru orice problem o rezolvare pentru care este de ajuns un automat finit. Un automat finit (AF) sau o main cu stri finite este un model de comportament compus din stri, tranziii i aciuni. O stare stocheaz informaii despre trecut, adic reflect schimbrile intrrii de la iniializarea sistemului pn n momentul de fa. O tranziie indic o schimbare de stare i este descris de o condiie care este nevoie s fie ndeplinit pentru a declana tranziia. O aciune este o descriere a unei activiti ce urmeaz a fi executat la un anumit moment. Exist cteva tipuri de aciuni: - Aciune de intrare executat la intrarea ntr-o stare - Aciune de ieire executat la ieirea dintr-o stare - Aciune de intrare de date aciune executat n funcie de starea prezent i de datele de intrare - Aciune de tranziie aciune executat n momentul unei tranziii AF poate fi reprezentat printr-o diagram de stri (sau diagram de stri i tranziii) ca n figura 1.2.1. n plus, se folosesc i tabele de tranziie. Cea mai comun reprezentare este dat mai jos: combinaia strii curente (B) i condiiei (Y) d starea urmtoare (C). Informaii complete privind aciunile pot fi adugate doar ca note de subsol[18].

Starea curent/ Condiia Condiia X Condiia Y Condiia Z

Starea A . . .

Starea B . Starea C .

Starea C . . .

Fig.1.2.1 Automat finit

n plus fa de utilizarea lor n modelarea sistemelor reactive, prezentat aici, automatele finite sunt importante n multe domenii, inclusiv n lingvistic, informatic, filosofie, biologie, matematic, i logic. Mainile cu stri finite sunt un tip de automate studiate de teoria automatelor. n informatic, automatele finite sunt folosite pe larg n modelarea comportamentului aplicaiilor, proiectarea sistemelor digitale hardware, ingineria software, compilatoare, i n studiul computaiei i limbajelor.

1.2.1 Logica automatelor finite 10

Fig. 1.2.2 Logica automatelor finite Ieirea i starea urmtoare a unui automat finit este o funcie de intrare i de starea curent. Logica unui AF este prezentat n figura 1.2.2. 1.2.2 Modelul matematic n funcie de tip, exist mai multe definiii. Un automat finit acceptor este un cvintuplu<, S, s0, , F>, unde:

este alfabetul de intrare (o mulime finit i nevid de simboluri). S este o mulime finit i nevid de stri. s0 este starea iniial, element al lui S. ntr-un automat finit nedeterminist, s0 este o mulime de stri iniiale. este funcia de tranziie a strii: : S x S. F este mulimea strilor finale, o submulime (posibil vid) a lui S.

Un automat finit transductor este un sextuplu <, , S, s0, , >, unde:

este alfabetul de intrare (o mulime finit i nevid de simboluri). este alfabetul de ieire (o mulime finit i nevid de simboluri). S este o mulime finit i nevid de stri. s0 este starea iniial, element al lui S. ntr-un automat finit nedeterminist, s0 este o mulime de stri iniiale. 11

este funcia de tranziie a strii: : S x S x . este funcia de ieire.

Dac funcia de ieire este o funcie de stare i de alfabetul de intrare ( : S x ), atunci aceast definiie corespunde modelului Mealy. Dac funcia de ieire depinde doar de stare (: S ), atunci aceast definiie corespunde modelului Moore[9].

12