Limbaje Formale si Automate - catedra Calculatoare

Universitatea POLITEHNICA din Bucuresti

Facultatea Automatica si Calculatoare

Catedra Calculatoare

FISA DISCIPLINEI

DATE DE IDENTIFICARE

Titlul Disciplinei: Limbaje Formale si Automate

Titular/i de disciplina:

Tipul: pregatire (generala sau de specialitate): generala

Numar ore curs:.     3 x 14 = 42 ore

Numar ore aplicatii:.2 x 14 = 28 ore

Numarul de puncte de credit: 5

Semestrul: 2

Pachetul: aria curiculara (comuna sau de specialitate) comuna

Preconditii: parcurgerea si/sau promovarea urmatoarelor discipline:

Programarea Calculatoarelor

OBIECTIVELE DISCIPLINEI

- Curs

Prezentarea elementelor de teoria automatelor si a limbajelor formale, de calculabilitate cu Masina Turing

- Aplicatii

Activitatea de la seminar are ca principal obiectiv aprofundarea elementelor teoretice prezentate la curs, prin rezolvarea de tipuri de probleme specifice.  De asemenea sunt dezvoltate aplicatii - de tipul analizoarelor lexicale, in a caror implementare sunt utilizate direct elementele teoretice studiate.

COMPETENTE SPECIFICE (din spectrul de competente al programului de studii)

La sfarsitul cursului studentul este capabil:

sa proiecteze diferite tipuri de automate

sa specifice limbaje prin scrierea garmaticilor proprii

sa evalueze decidabilitatea unei probleme

sa incadreze problemele in clasele specifice the complexitate

CONTINUTUL TEMATIC  (SYLABUS) ( 1 pagina )

1. Curs:

2. Aplicatii:

EVALUAREA

a)      Activitatile evaluate si ponderea fiecareia (conform Regulamentului studiilor de licenta)

Seminar - prezenta si rezolvare teme 30%

Lucrare curs    10%

Scrierea unui analizor lexical             20%

Examen final                 40%

b)        Cerintele minimale pentru promovare

30 % din punctajul pentru seminar si lucrari

30 % din punctajul examenului final

45 % din punctajul total

c)        Calculul notei finale: round (punctaj_total  / 10)

6. REPERE METODOLOGICE (modul de prezentare, materiale etc.)

Note de curs si tematica laboratorului pe suport electronic.

Prezentare la tabla.

Recomandari titluri disponibile pe Internet.

BIBLIOGRAFIA

Cormen, Leiserson, Rivest, Stein “Introducere in Algoritmi”, Ed.Agora

C.Giumale “Structuri de Date si Algoritmi”, Ed. Polirom

F.Moraru “Structuri de date si algoritmi”, Ed. Bren

V.Iorga, C.Opincaru, etc “Structuri de Date si Algoritmi – Aplicatii in C++ folosind STL”, Ed.Polirom

SEF DE CATEDRA                                TITULAR DE DISCIPLINA

Prof.dr.ing.N. Tapus    Conf.dr.ing. Lorina Negreanu