Ministеrul Еducаțiеi, Culturii și Cеrcеtării аl Rеpublicii

Mоldоvа
Univеrsitаtеа Tеhnică а Mоldоvеi
Fаcultаtеа Cаlculаtоаrе, Infоrmаtică şi Micrоеlеctrоnică
Dеpаrtаmеntul Ingineria Software și Automatică

RAPORT
Lucrarea de laborator Nr.2
la disciplina Limbaje formale și automate

VARIANTA 13

A efectuat: St. Gr. TI-192

Mereuță Ana
A verificat: Lector Univ.
Duca Ludmila

CHIŞINĂU – 2020
 Tema: Automate finite.
Sarcina lucrării:
1. Este dat automatul finit AF=(Q, Σ, δ, q0, F)
2. Reprezentați automatul în toate formele de
reprezentare
3. Automatul este determinist sau nedeterminist? De
ce?
4. Dacă automatul este nedeterminist construiți
automatul finit determinist echivalent prin ambele
metode. Reprezentați ADF în formă de graf.

PARTEA PRACTICĂ

Varianta 13:
AF=(Q, , , q0, F),
Q = {q0, q1, q2 , q3},
 = { a, b, c},
F = { q3}.
 (q0, c) = {q1}
 (q1, c) ={q2}
 (q2, b) = {q2, q3}
 (q2, a ) ={q2}
 (q3, c) ={q3}
2. Reprezentare în toate formele de reprezentare:

Figura 1 – Reprezentarea prin graf a AF.

Tabelul 1 – Reprezentarea automatului finit prin tabel:

VN VT a b c
q0 - - q1
q1 - - q2
q2 q2 q2q3 -
q3 - - q3

3. Este sau nu automatul determinist? De ce?

Automatul dat nu este determinist, deoarece din starea q2 sunt
2 ieșiri cu tot aceeași pondere.

4. Dacă automatul este nedeterminist construiți automatul

finit determinist echivalent prin ambele metode.
Reprezentați ADF în formă de graf.

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

 Q’ a b c
q0 - - q1
q1 - - q2
q2 q2 q2q3 -
q2q3 q2 q2q3 q3

Metoda analitică de transformare a AFND în AFD.

δ(q0, a)= [ ]
δ(q0, b)= [ ]
δ(q0, c)= [ q1]
δ(q1, a)= [ ]
δ(q1, b)= [ ]
δ(q1, c)= [q2]
δ(q2, a)= [q2]
δ(q2, b)= δ(q2, b)U δ(q3, b)= [q2q3]U[q3]= [q2q3]
δ(q2, c)= [ ]
δ(q2q3, a)= [q2]
δ(q2q3, b)= δ(q2, b)U δ(q3, b)=[q2q3 ]U[q3 ]= [q2q3 ]
δ(q2q3, c)= δ(q2, b)U δ(q3, c)=[q3]

Q’=(q0, q1, q2, q2q3);

F’={q2q3, q3}
Figura 2 – Reprezentarea prin graf a AFD.

CONCLUZIE
În această lucare de laborator am făcut cunoștință cu noțiunile
de automat finit, automat finit determinist(AFD) și automat
fimit nedeterminist(AFND). Am reprezentantat automatul finit
în toate formele de reprezenatre, am explicat de ce automatul
este nedeterminist și l-am transformat în AFD echivalent. La
fel, am efectuat reprezentările grafice prin soft-ul Jflap, ceea ce
exercită lucru practic cu acest soft.