Ministerul Educației, Culturii și Cercetării al Republicii

Moldova
Universitatea Tehnică a Moldovei
Facultatea de Calculatoare, Informatică și Microelectronică
Departamentul „Informatică şi Ingineria Sistemelor”

REFERAT
la lucrarea de laborator nr.1
TEMA: “Gramatici regulate”
Disciplina: “LFC”

A elaborat: st. gr. MI-191, Platon Maxim

A verificat: conf.univ.,dr.Marusic Galina

Chișinău , 2020
Sarcina lucrării:

1. Pentru gramatica formală G = (VN, VT, P, S) construiţi 5 şiruri, care

aparţin limbajului L(G) generat de această gramatică. Lungimea şirului
trebuie să fie nu mai mică, decât numărul de caractere din alfabet VN+2.
2. Pentru fiecare şir să se construiască arborii de derivare.
3. Desenaţi automatul finit echivalent acestei gramatici.
4. La ce clasă al gramaticilor după Chomsky aparţine gramatica dată?

Varianta 15.
VN={S, A, B}, VT={a, b, c},
P={
1. S  aS
2. S  bS
3. S  cA
4. A  aB
5. B  aB
6. B  bB
7. B  c }

Efectuarea lucrării:

1) Construiesc 5 şiruri ce aparţin limbajului L(G) generat de această

gramatică:

1. S->aS->abS->abcA>abcaB->abcaaB->abcaac;

2. S->aS->acA->acaB> acaaB->acaaabB->acaabc;

3. S->aS->abS->abcA>abcaB->abcabB->abcabc;

4. S->aS->acA->acaB>acabB->acabbB->acabbc;

5. S->aS->abS->abcA>abcaB->abcaaB->abcaac;
 2)Pentru fiecare şir arat arborii de derivare:

1. 2. 3. 4. 5.
S S S S S
/\ /\ /\ /\ /\
a S b B a B b B b B
/\ /\ /\ /\ /\
b S c D c D c D c D
/\ /\ /\ /\ /\
c A d Q d Q d Q c D
/\ /\ /\ /\ /\
a B b B b B b B d Q
/\ /\ /\ /\ /\
c D c D C D c D b B
/ / / /\ /\
a a a d Q c D
/ /\ /
b B a
/\
c D
/
a

3)Construiesc AF(automatul finit) echivalent acestei gramatici:

AF=(Q, , , q0, F), unde

Q – mulţimea de stări
 - vocabular
 - funcţia de tranziţie
q0 – starea iniţială
F – mulţimea stărilor finale

Algoritmul de construire AF:

1. Q = VN{X}={S,A,B }
2. =VT={a, b, c }
3. q0=S
4. F={X}
5. Pentru toate producţiile definim :
Iniţial toate mulţimile (A, b): = 0
1. S aS
(S, a): =  (S, a){S}={S}
2. SbS
(S, b): =  (S, b){S}={S}
3. S cA
(S, c): =  (S, c){A}={A}
4. A aB
(A, a): =  (A, a){B}={B}
5. B aB
(B, a): =  (B, a){B}={B}
6. B bB
(B, b): =  (B, b){B}={B}
7. B c
(B, c): =  (B, c){X}={B,X}

Reprezentarea grafică a AF:

Gramatica dată după Chomsky aparţine tipului 3, deoarece toate producţiile
date sunt de forma:
a) Aa
b) AbB
Unde a,b∈V T şi A ,B ∈V N