Sunteți pe pagina 1din 3

PROF.UNIV.DR.

HORIA IOAN GEORGESCU

LECT.UNIV.DRD. RADU BORIGA

LIMBAJE FORMALE I AUTOMATE

UNIVERSITATEA TITU MAIORESCU DIN BUCURETI

FACULTATEA DE INFORMATIC

2011
PREZENTAREA MODULULUI

Modulul "Limbaje formale i automate" are drept scop prezentarea unor aspecte teoretice i practice
fundamentale din domeniul limbajelor formale i automatelor, accentul fiind pus pe modul de
utilizarea al acestora n modelarea unor sisteme informatice.

Modulul ncepe cu o unitate de nvare n care se prezint noiuni fundamentale despre gramatici i
clasificarea Chomsky a acestora, precum i numeroase exemple. n urmtorul modul sunt prezentate
aspecte referitoare la gramaticile independente de context: forma normal Chomsky, arbori de
derivare i metode de simplificare a gramaticilor independente de context. n al treilea modul sunt
prezentate gramaticile regulate i automatele finite, precum i echivalena dintre acestea. n al patrulea
modul sunt prezentate automatele pushdown i echivalena lor cu gramaticile independente de
context. n ultimul modul sunt prezentate proprieti de nchidere ale limbajelor independente de
context i ale celor regulate.

Prin nsi natura sa, acest modul este strns legat de modulele "Logic computaional", "Algoritmi
i structuri de date" i "Calculabilitate, decidabilitate i complexitate".

2
CUPRINS

MODULUL I - Gramatici. Clasificarea Chomsky a gramaticilor ................................................... 4


1.1. Notaii i definiii ......................................................................................................................... 4
1.2. Clasificarea Chomsky a gramaticilor ........................................................................................... 5
1.3. Exerciii propuse .......................................................................................................................... 7
MODULUL II - Gramatici independente de context......................................................................... 9
2.1. Derivri n gramatici independente de context ............................................................................ 9
2.2. Simplificarea gramaticilor independente de context .................................................................. 10
2.3. Forma normal Chomsky a unei gramatici independente de context ........................................ 17
2.4. Arbori de derivare ...................................................................................................................... 24
2.5. Algoritmul Cocke-Younger-Kasami ......................................................................................... 28
2.6. Exerciii propuse ........................................................................................................................ 30
MODULUL III - Gramatici regulate. Automate finite deterministe i nedeterministe ............... 32
3.1. Gramatici regulate ...................................................................................................................... 32
3.2. Automate finite deterministe...................................................................................................... 33
3.3. Automate finite nedeterministe .................................................................................................. 37
3.4. Echivalena dintre automatele finite deterministe i automatele finite nedeterministe .............. 39
3.5. Echivalena dintre gramaticile regulate i automatele finite nedeterministe.............................. 42
3.6. Exerciii propuse ........................................................................................................................ 43
MODULUL IV - Automate pushdown.............................................................................................. 45
4.1. Automate pushdown .................................................................................................................. 45
4.2. Construcia unui automat pushdown echivalent cu o gramatic independent de context ........ 48
4.3. Construcia unei gramatici independente de context echivalent cu un automat pushdown ..... 49
MODULUL V - Proprieti ale limbajelor independente de context i ale limbajelor regulate.. 51
5.1. Lema Bar-Hillel. Lema de pompare .......................................................................................... 51
5.2. Operaii cu limbaje ..................................................................................................................... 52
BIBLIOGRAFIE ................................................................................................................................. 55