Universitatea Tehnică a Moldovei

Facultatea Calculatoare Informatică şi Microelectronică

Departamentul Ingineria Software şi Automatică

Raport
privind efectuarea
lucrării de laborator nr.1

Disciplina: Limbaje formale şi automate

A îndeplinit: st. gr. TI-173 Costin Dumitru

A controlat: Tiholaz Tamara

Chişinău 2018
 Cuprins

Scopul lucrării....................................................................................................................................... 3
Mersul lucrării ...................................................................................................................................... 4
Echivalarea gramaticii cu Automatul Finit........................................................................................ 8
1. Forma analitică ......................................................................................................................... 8
2. Reprezentarea prin graf ........................................................................................................... 8
3. Reprezentarea prin tabel a Automatului Finit ...................................................................... 9
Concluzie ............................................................................................................................................. 10

2
 Scopul lucrării:

 Construirea unei gramatici regulate;

 De construit 11 producții și 5 cuvinte cu arborii lor de derivare pe baza gramaticii de tip
3;
 Construirea automatului finit pe baza gramaticii.

3
 Mersul lucrării:

Condiții : VN = 5; VT = 5; P = 11; |x|= VN + 2.

G = ( VN, VT, P, A);

VN = { A, B, C, D,E};
VT = { m, t, e, o, p};

Gramatica Tip 3:
Forma generală: A → αB; A → b;
α, b  VT
A, B VN

P={
1. A → mE
2. A → tA
3. A → pC
4. A → oB
5. B → t
6. B → eE
7. C → pD
8. D → pA
9. E → oD
10. C → tB
11. D→ o
}

Figura 1 Producțiile

4
 Construim șirurile după gramatica dată:

Restricție: |x| ≥ VN + 2

Cuvântul Nr. 1 ( moptpppot )

Figura 1.1 Formarea cuvântului Nr. 1 Figura 1.2 Arborele de derivare al cuvântului Nr. 1
Cuvântul Nr. 2 ( tpteopptt )

Figura 2.1 Formarea cuvântului Nr. 2 Figura 2.2 Arborele de derivare al cuvântului Nr. 2

5
 Cuvântul Nr. 3 ( pppttmopot )

Figura 3.1 Formarea cuvântului Nr. 3 Figura 3.2 Arborele de derivare al cuvântului Nr. 3

Cuvântul Nr. 4 (ttttptt )

Figura 4.1 Formarea cuvântului Nr. 4 Figura 4.2 Arborele de derivare al cuvântului Nr. 4

6
 Cuvântul Nr. 5 ( mopmopot )

Figura 5.1 Formarea cuvântului Nr. 5 Figura 5.2 Arborele de derivare al cuvântului Nr. 5

7
 Echivalarea gramaticii cu Automatul Finit:
AF = (Q, Σ, δ, q0, F)

Q = VN ∪ X = { A, B, C, D, E, X}, Q – mulțimea stărilor automate

Σ = VT = { m, t, e, o, p}
q0 = {A}, q0 – starea inițială
F = { X }, F – mulțimea stărilor finale
δ – mulțimea funcțiilor de tranziție

1. Forma analitică:
Pentru toate producțiile (P) definim δ:

1. δ (A, m) = E; 7. δ (C, t) = B;
2. δ (A, t) = A; 8. δ (C, p) = D;
3. δ (A, o) = B; 9. δ (D, o) = X;
4. δ (A, p) = C; 10. δ (D, p) = A;
5. δ (B, t) = X; 11. δ (E, o) = D;
6. δ (B, e) = E;

2. Reprezentarea prin graf

Figura 6 Reprezentarea automatului în formă grafică

8
3. Reprezentarea prin tabel a Automatului Finit:

VT p
m t e o
VN
A E A B C

B X E

C B D

D X A

E D

9
 Concluzii:

În urma efectuării acestei lucrări de laborator am construit o gramatică regulată bazată pe tipul
3 de gramatică, astfel am obținut competențe în crearea producțiilor și formarea cuvintelor în gramatica
de tip 3. Am efectuat transformarea gramaticii într-un automat finit, folosind cele trei metode de
reprezentare: analitică, grafică și tabelară. Pentru a îndeplini obiectivele lucrării și a simplifica
reprezentarea Automatului Finit, am folosit aplicația JFLAP cu care s-au creat arborii de derivare și
verificat dacă cuvântul este corect format, cunoștințele acumulate în urma utilizării acestui program ne
va simplifica munca pe viitor.

10