Universitatea Tehnică a Moldovei

Facultatea Calculatoare, Informatică şi Microelectronică

Departamentul Ingineria Software și Automatică

RAPORT
Lucrare de laborator nr.2
Disciplina: Limbaje formale si automate
Tema: Automate finite

A efectuat: st. Brinzan Andrian gr. SI191

TI-181
Boghean Victor

A verificat: Ludmila Duca

Chişinău 2020
 Sarcina lucrarii:

1. Este dat automatul finit AF=(Q, , , q0, F).

2. Reprezentaţi automatului în toate formele de reprezentare.
3. Este sau nu automatul dat determinist? De ce?
4. Dacă automatul este nedeterminist, construiţi automatul finit determinist
echivalent prin ambele metode. Reprezentaţi AFD în formă de graf.

Varianta 6
AF=(Q, , , q0, F)
Q = {q0, q1, q2 , q3}
 = { a, b, c}
F = { q3}

 (q0, a) = {q1}
 (q1, b) ={q2}
 (q2, a) = {q2, q3}
 (q2, c ) ={q2}
 (q3, a) ={q3}

Reprezentarea automatului în toate formele de reprezentare.

Figura 1 – Reprezentarea prin graf a automatului finit

 Tabelul 1 – Reprezentarea prin tabel a automatului finit

VT a b c
VN
q0 q1 - -

q1 - q2 -

q2 q2. q3 - q2

q3 q3 - -

3. Este sau nu automatul dat determinist? De ce?

Automatul dat este nedeterminist, deoarece prin elemental ‘a’ din starea q2 se
poate duce in q2 si q3, astfel are loc mai multe tranzitii posibile
4. Dacă automatul este nedeterminist, construiţi automatul finit
determinist echivalent prin ambele metode. Reprezentaţi AFD în formă de graf.

Tabelul 2 – Metoda tabelară de transformare a AFND în AFD

∑
Q a b c

q0 q1 - -
q1 - q2 -
q2 q2q3 - q2

q2,q3 q2q3 - q2
 Metoda analitică de transformare a AFND în AFD

Q’ = {[q0], [q1], [q1q2q3], [q2], [q2q3]}

(q0, a) = {[q1]}
 (q0, b) = Ø
 (q0, c) = Ø

 (q1, a) = Ø
 (q1, b) = {[q2]}
 (q1, b) = Ø

 (q2, a) = q2],a∪ q3],a= [q2q3] ∪ [q3] ∪ Ø = [q2q3]

 (q2, b) = Ø
 (q2, c) = [q2]

 (q2q3,a) = q2],a∪ q3],a= [q2q3]

 (q2q3,b) = Ø
 (q2q3, c) = q2],c= [q2]

Figura 2 – Reprezentarea prin graf a AFD

Concluzii: In urma efectuarii lucrarii de laborator am invatat care este diferenta intre AFD si
AFND si cum are loc transformarea acestora;
Am efectuat transformarea AFND in AFD prin metoda analitica si cea tabelara;