Universitatea Tehnic a Moldovei
Facultatea Calculatoare Informatic i Microelectronic
RAPORT
La lucrarea de laborator Nr. 1.
La disciplina: LimbajeFormale i Automate
TEMA: Gramatici regulate
Elaborat: [Link]-
Verificat: lect. sup. Duca Ludmila
Chiinu 2017
De construit o gramatic care const din :
= 5
= 3
Mulimea de producie .
P = 20
= { }
= { }
R simbol initial
Mulimea de Producie
= { )
) }
1. R 6. T 11. P 16. Y
2. R 7. T 12. P 17. L
3. R = 8. T 13. Y 18.L
4. R 9. P 14. Y 19.L
5. T 10. P 15. Y 20. L
De construit 5 cuvinte, lungimea crora trebuie s fie + , =
1 8 19 13 9 3 10
R
Pentru fiecare cuvnt de construit arborele de derivare
h h m h h m n
Pentru gramatica dat de construit automatul finit, unde:
= (, , , , 0 )Q- mulimea de stri
- simbol de tranziie
- mulimea funciei de tranziie
F- mulimea strilor finale
0 - starea iniial
X- starea final
Q= +
0 =
Q= = {, , , , }
F={X}
=
( ) = ( ) = ( ) = ( ) =
( ) = ( ) = ( ) = ( ) =
( ) = ( ) = ( ) = ( ) =
( ) = ( ) = ( ) = ( ) =
( ) = ( ) = ( ) = ( ) =
Metoda grafului de reprezentare:
Metoda Tabel:
h n m
R XT Y P
T YL T P
Y PL R X
P RL X Y
L R TP m
X - - -
2 14 17 3 11 13 10
2)R
n h h m m h n
3 9 1 8 18 8 20
3) R
m h h h n h n
2 13 12 19 15 3 10
4) R
n h h m n m n
3 9 1 5 7 9 4
5)R
m h h n m h h
Tipul de gramatic 0 : (gramatic fr restricii)
Tipul de gramatic 1: (gramatic senzitiv de context)
Regula: 1A2 12 , AVN , (VN VT)+ , 1, 2 (VN VT)*
Tipul de gramatic 2: (gramatic independent de context)
Regula: A , AVN , (VN VT)*
Cuvntul 1 hhmhhmn
Cuvntul 2 nhhmmhn
Cuvntul 3 - mhhhnhn
Cuvntul 4 nhhmnm
Cuvntul 5 mhhnmhh
Concluzie : n urma realizrii lucrrii de laborator am cptat deprindere de lucru cu Automate
finite, am studiat tipurile de gramatic (0, 1, 2, 3) astfel cu ajutorul gramaticii de tipul 3 am
construit 5 cuvinte, lungimea crora nu era mai mica de + 2, primul cuvnt (hhmhhn) am
reprezentat prin metoda analitic, metoda grafic, metoda tabel si am construit arborele de derivare
. Cu ajutorul programului JFLAP am
introdus gramatica pentru fiecare tip , am verificat fiacare cuvnt, acestea fiind acceptate i astfel
au fost construite arborele de derivare automat.