MINISTERUL EDUCAȚIEI, CULTURII ȘI CERCETĂRII

AL REPUBLICII MOLDOVA
Universitatea Tehnică a Moldovei
Facultatea Calculatoare, Informatică şi Microelectronică
Departamentul Informatică şi Ingineria Sistemelor

Raport
pentru lucrarea de laborator Nr.2

la cursul de “Limbaje Formale si Automate”

Efectuat: Studentul gr. TI-195 Rotaru Dan

Verificat: Duca Ludmila

Chișinău – 2020
Lucrare de laborator 2:

1. Este dat automatul finit AF=(Q, Σ, σ, q0, F).

2. Scrieţi automatul î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 14

AF=(Q, Σ, σ, q0, F), Q = {q0, q1, q2 , q3}, Σ = { a, b, c}, F = { q3}.

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

2. Automatul in forma de reprezentare tabel:

a b c
q0 - - q1
q1 - - q2
q2 q2, q3 q2 -
q3 - - q3

Automatul finit prin graf:

Fig.1 Reprezentare automatului finit prin graf

3. Automatul dat este unul netederminist, deoarece un de la un nod se duc doua drumuri, deci in
rezultat noi nu stim pe care drum o sa parcurga.

4. Transformarea in AFD prin metoda analitica:

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

σ’(q0, c) = {q1},
σ’(q1, c) = {q2},
σ’(q2, a) = {[q2q3]},
σ’(q2, b) = {q2},
σ’([q2q3], a) = {[q2q3]},
σ’([q2q3], b) = {q2},
σ’([q2q3], c) = {q3},
σ’(q3, c) = {q3}.

Σ = { a, b, c}, F = {[q2q3], q3}

Transformarea in AFD prin tabel:

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

Fig.2 Reprezentare prin graf a automatului finit determinist

Concluzie:
In urma efectuarii laboratorului numarul 2, am putut efectua transformarea automatului finit
nedeterminist in determinist prin doua metode, metoda analitica si prin tabel, de asemenea am
insusit cum sa afli daca autoamutul este unul determinist sau nu.