FIŞA DISCIPLINEI

Universitatea „Transilvania” din Braşov

Facultatea Matematica si Informatica
Specializarea Informatică, Informatică aplicată
I.
Denumire disciplină Limbaje Formale si Teoria automatelor Categoria (DF/DD/DS/DC):DF
II.
Structură disciplină (Nr. ore săptămânal)
Semestrul Curs Seminar Laborator Proiect
3 2 1 1
III.
Statut disciplină Obligatorie Opţională Facultativă
(se marchează cu X) X
IV.
Titular disciplină
Curs Seminar Laborator Proiect
Numele şi prenumele Marinescu Kiss Jakab Marinescu Kiss Jakab
Daniela Maria Kinga Daniela Kinga
Maria
Instituţia Univ. Univ. Univ. Univ. Univ.
„Transilvania” „Transilva „Transilva „Transilva „Transilva
din Braşov nia” din nia” din nia” din nia” din
Braşov Braşov Braşov Braşov

Catedră / Departament Informatica Informatic Informatic Informatic Informatic

Teoretica a a a a
Teoretica Teoretica Teoretica Teoretica
Titlul ştiinţific Doctor Doctor Doctorand
Gradul didactic Conferentiar Preparator Conferenti Preparator Preparator
ar
Încadrarea (norma de Norma de Norma de Norma de Norma de Norma de
bază/asociat) Baza Baza Baza Baza Baza
Vârsta 58 25 58 25 30
V.
Obiectivele disciplinei (curs şi aplicaţii)(maxim 5 rânduri, în corelare cu obiectivele şi misiunea specializării)

VI.
Conţinutul disciplinei Nr. ore/
VI.1. Curs (capitole/subcapitole) săpt.
1. Notiuni generale de teoria limbaje formale: cuvinte, alfabete, limbaje, sisteme de rescriere, 2
2. Gramatici generative si analitice, ierarhia lui Chomsky, operatii cu limbaje. 2
3. Gramatici de tip 3 si automate finite; expresii regulate, minimizarea automatului finit. 6
4. Proprietati ale limbajelor regulate; lema de pompare. 4
5. Probleme de decizie pentru limbaj regulate.
6. Limbaje independente de context; arbori de derivatie pentru limbaje independente de context. 1
7. Simplificari si forme normale pentru gramatici IDC.
8. Automate pushdown, legatura cu gramatici de tip 2. 2
9. Proprietati ale limbajelor I.D.C; lema de pompare. 3
10. Probleme de decizie pentru limbaje independente de context 6
11. Limbaje deterministe. 1
1
VI.2. Seminar (dacă este cazul)
1. Constructii de gramatici si limbaje; 2
2. Gramatici regulate si automate finite deterministe si nedeterministe: constructii. 4
3. Minimizarea automatului finit. 2
4. Expresii regulate. 2
5. Gramatici independente de context , forme normale: constructii. 2
6. Automate pushdown: constructii. 2
VI.3. Lucrări de laborator (dacă este cazul)

Cod formular: FD-01

 1. Program de simulare a unei derivatii intr-o gramatica generativa 1
2. Program de simulare pentru un automat finit 2
3. Algoritm de trecere de la automat finit nedeterminist la automat finit determinist. 2
4. Algoritm de trecere de la automat finit la o gramatica de tip 3. 2
5. Algoritm de trecere de la o gramatica de tip 3 la un automat finit. 1
6. Program de minimizarea a automatului finit. 2
7. Program de constructie a unei expresii regulate pornind de la o gramatica de tip 3. 2
8. Program de simulare pentru un automat pushdown.. 2
VI.4. Tematică proiect (dacă este cazul)

VII.
Bibliografie
1. Aho A.V., Sethi ,Ullman D.J., “The theory of parsing translation and compiling”, Addison -
Wesley Reading, Massachusetts, 1986.
2. Hopcroft J.E., Ullman D.J., “Formal language and their relation to automata” , Addison -
Wesley Reading, Massachusetts, 1979.
3. Livovschi L. ... “Bazele informaticii”, Ed. Did. si Ped., Bucuresti 1987.
4. Marcus S. “Gramatici si automate finite”,Ed. Academiei Romania , 1964.
5. Marinescu D. “Limbaje formale si teoria automatelor”, Ed. Univ. Transilvania, Brasov, 2003.
6. Orman G. “ Limbaje formale”, Ed. Tehnica, Bucuresti, 1982.
7. Paun Gh. “ Probleme actuale in teoria limbajelor formale “, Ed. St. si Enciclopedica,
Bucuresti,1984.
8. Salomaa A., “Formal languages”, Academic Press, New-York, 1973.
Simovici D., “Limbaje formale si tehnici de compilare”, Ed. Did. si Ped., Bucuresti , 1978.
VIII.
Forme de Metode didactice folosite
activitate
Curs Clasic
Seminar Clasic
Laborator Calculator
Proiect
IX.
Forme de Evaluare Procent din nota finală
activitate (scris, scris şi oral, oral, test, aplicaţie practică, altele)
Examen Scris 65%
Colocviu
Seminar Oral 10%
Laborator Aplicatie practica 25%
Proiect

Braşov, octombrie 2006 Titular curs,

Conf. Dr. Daniela MariaMarinescu
Obs:
Discipline: DF – fundamentale; DD – în domeniu; DS – de specialitate; DC – complementare.
Întregul material se va concentra pe max. 2 pagini.

Cod formular: FD-01