Public Syllabus

Learning time distribution

Total
Curriculum	Lecture	Practice	Total Weekly	Lecture	Practice
56	28	28	4	2	2
Exam hours
6
Individual Study	Bibliography study	Field study	Homework	Tutoring	Others
63	19	20	20	4	0
Overall
125

Learning outcomes

Knowledge

C1. Cunoștințe fundamentale de informatică și matematică: algoritmi și structuri de date, logică și principii de demonstrare, modele și limbaje formale, structuri discrete și modele computaționale;

Skills

A1. Abilitatea de a identifica modele formale/computaționale adecvate, de a utiliza
instrumente de modelare și de calcul științific, de a analiza eficiența unui algoritm sau a utilizării unei structuri de date;
A2. Abilitatea de a identifica tipurile de gramatici, clase de limbaje si a relatiilor dintre ele;
A3. Abilitatea de a construi gramatici/automate asociate unui limbaj;

Responsibility

R1. Capacitatea de a rezolva în manieră autonomă sarcini specifice;
R2. Capacitatea de a identifica/selecta soluții/căi de rezolvare adecvate și de a genera idei inovative;
R3. Capacitatea de a asuma în mod responsabil sarcinile profesionale și de a respecta normele de etică și deontologie profesională;
R4. Capacitatea de a se adapta la noi cerințe și modalități de desfășurare a activității.

Online platform

https://classroom.google.com

Course content

Content	Methods	Obs
C1. Notiunea generala de limbaj si gramatici pentru generarea limbajelor	Expunerea.Conversația.Exemplul	Support de curs la :http://staff.fmi.uvt.ro/~mircea.dragan/LF
C2. Ierarhia Chomsky a limbajelor.	Idem	Idem
C3. Proprietati de inchidere a familiilor de limbaje.	Idem	Idem
C4. Automate finite si automate finite deterministe	Idem	Idem
C5. Automate finite si limbaje regulate	Idem	Idem
C6. Caracterizarea algebrica a limbajelor regulate
C7. Proprietati specifice pentru limbaje regulate
C8. Sisteme tranzitionale si expresii regulate
C9. Gramatici independente de context si arbori de derivare
C10. Decidabilitate pentru limbaje independente de context.Gramatici recursive.
C11. Forme normale pentru gramatici independente de context
C12. Automate pushdown
C13. Gramatici monotone si forma normala Kuroda
C14. Limbaje de tipul 0 si Masina Turing

Course bibliography

1. S. Măruşter, M. Dragan- Limbaje formale , Ed. Eubeea. Timisoara, 1998. 2. M. Drăgan – Limbaje formale. Suport de curs, 2020, http://staff.fmi.uvt.ro/~mircea.dragan/LF 3. J.E. Hopcroft, R. Motwani, J.D. Ullman - Introduction to Automata Theory, Languages and Computation. Second edition, Addison Wesley, 2001.

Seminar content

Content	Methods	Obs
S1. Limbaje si gramatici.	Problematizare,dialog, invatare colaborativa	https://classroom.google.com se comunica la primul seminar
S2. Proprietati de inchidere ale familiilorde limbaje	idem
S3. Automate finite deterministe	idem
S4. Minimizarea AFD	idem
S5. Simularea AF si AFD	idem
S6. Expresii regulate	idem
S7. Evaluarea expresiilor aritmetice	idem
S8. Generarea si evaluarea sirurilor poloneze	idem
S9-S10 Evaluarea expresiilor regulate si constructia AFD echivalent	idem
S11-12. Conversia la forma normala Chomsky si Greibach	idem
S13. APD si limbaje recunoscute	idem
S14. Recapitulare si consolidarea cunostintelor	idem

Seminar bibliography

1. S. Măruşter, M. Dragan- Limbaje formale , Ed. Eubeea. Timisoara, 1998. 2. M. Drăgan – Limbaje formale. Suport de curs, 2020, http://staff.fmi.uvt.ro/~mircea.dragan/LF 3. J.E. Hopcroft, R. Motwani, J.D. Ullman - Introduction to Automata Theory, Languages and Computation. Second edition, Addison Wesley, 2001.

Corroboration

Conţinutul este în concordanţă cu structura cursurilor similare de la alte universităţi din țară și străinătate.

AI tools guidance

(none)

Evaluation and delivery

Activity	Criteria	Methods	Percentage
C	Cunoașterea principalelor noțiuni și proprietăți	Subiect în proba scrisă	70.0%
S	Prezenta activa	Prezenta si evaluarea raspunsurilor	30.0%

Performance standards

Cunoașterea notiunilor si manipularea acestora în situații standard. Indeplinirea conditiilor minimale pentru prezenta.

Additional info