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.3

la cursul de “Limbaje Formale si Automate”

Efectuat: Studentul gr. TI-195 Rotaru Dan

Verificat: Duca Ludmila

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

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}
 (q3, c) = {q2, q3}

1. Construiţi gramatica regulată echivalentă cu automatul dat.

P={
1. q0 → cq1,
2. q1 → cq2,
3. q2 → aq2,
4. q2 → aq3,
5. q3 → cq2,
6. q3 → cq3,
7. q2 → a,
8. q3 → c
}

2.Pentru automatul finit AF=(Q, , , q0, F) construiţi 5 şiruri acceptate de automat. Lungimea
şirurilor să nu fie mai mică decât n+2, unde n este numărul de stări din Q.

C1 = ccaaaa , C2 =ccaaac , C3 =ccaccc , C4 =ccacac , C5 =ccacca

3.Pentru fiecare şir x scrieţi secvenţa de configuraţii pentru acceptarea şirului, adică (q0, x) —
(qi1, x1) — (qi2, x2) — … — (qf, ), unde qf  F.

1 q0 ccaaaa — q1caaaa — q2aaaa — q2aaa — q2aa — q2a — q2ε

2 q0 ccaaac — q1caaac — q2aaac — q2aac — q2ac — q3c — q3ε
3 q0 ccaccc — q1caccc — q2accc — q3ccc — q3cc — q3c — q3ε
4 q0 ccacac — q1cacac — q2acac — q3cac — q2ac — q3c — q3ε
5 q0 ccacca — q1cacca — q2acca — q3cca — q3ca — q2a — q2ε
 4.Petru toate cele 5 şiruri obţinute construiţi aplicând lema de pompare descompunerea x=uvw.

C1: q 0−c → q1−c → q2−a → q 2−a → q2−a→ q 2−a → q2

u =сс , v3 =a , w = a
C2:q 0−c → q1−c → q2−a → q 2−a → q2−a→ q 3−c →q 3
u =cc , v3=a , w =c
C3:q 0−c → q1−c → q2−a → q 3−c → q 3−c →q 3−c → q3
u = ε , v =cca , w 3 =c
C4:q 0−c → q1−c → q2−a → q 3−c → q 2−a → q3−c → q3
u = ε , v =cca , w =cac
C5:q 0−c → q1−c → q2−a → q 3−c → q 3−c →q 2−a → q2
u = ε , v =cca , w =cca

5. De scris expresia regulată pentru AF :

cca*a(c+ca*a)*

Concluzie:
În urma elaborării acestei lucrări de laborator s-a transformat automatul nedeterminist
în automatul determinist, reprezentînd automatul determinist prin graf. Construind 5
şiruri acceptate lungimea şirurilor să nu fie mai mică decît n+2, unde n este numărul
de stări din Q, s-a construiţi descompunerea x=uvw aplicând lema de pompare