• Autentificare
  • Înregistrarea
Conspecte.ro » Conspcete » Curs » LFA - Indrumar pentru aplicatii LIMBAJE FORMALE Şi AUTOMATE

0
0
00


Continul conspectului

Despre autori, Acest îndrumar are mulţi autori cu o contribuţie secvenţială. A început cu nişte foi scrise de mână care conţineau probleme şi schiţe de rezolvări, a mai existat şi un text introductiv în lex în format electronic. în 1992 Diana Raiciu (în prezent Diana Mărculescu, profesor în Department of Electrical and Computer Engineering din Universitatea Carnegie Mellon, SUA) a realizat prima formă electronică a acestui îndrumar. Următorul autor (1999) a fost Radu Sion (în prezent doctorand în departamentul de calculatoare din Universitatea Purdue, SUA). A urmat în 2001 doamna asistenta Irina Mocanu. Fiecare dintre autori a corectat textul anterior şi a mai adăugat probleme noi. Cu fiecare nou autor textul părea că devine gata. Am hotărât să public textul în formatul curent care desigur este încă departe de ce putea să fie, pentru că se aniversează anul acesta 10 ani de când credeam că îndrumarul va fi foarte curând gata de publicare.



/ Elemente de teoria limbajelor formale
1.1 Gramatici
1.1.1 Ierarhia Chomsky
Probleme
1.1.2 Lema de pompare
Probleme
1.1.3 Transformări asupra GIC
1.1.3.1 Eliminare recursivitate stânga
1.1.3.2 Eliminare X producţii
1.1.3.3 Eliminare simboli neutilizaţi
1.1.3.4 Eliminare simboli inaccesibili
Probleme
1 2 Mulţimi regulate. Expresii regulate
Probleme
1.3 Acceptoare
1.3.1 Automate finite
Probleme
1.3.2 Automate cu stivă (push-down)
Probleme
1.3.3 Maşina Turing
Probleme
2 Lex - generator de analizoare lexicale
2.1 Expresii regulate. Structura unei specificaţii lex.
2.2 Elemente avansate
2.2.1 Funcţionarea analizorului lexical generat de lex
2.2.2 Stări de start
2.2.3 Macrodefiniţii, funcţii şi variabile predefmite
2.2.4 Fişiere de intrare multiple
2.3 Exemple comentate
3 Teme pentru acasă
4 Bibliografie

Descarcarea Conspectului

Vizitator, lasă un comentariu?

Nume:*
E-Mail:



Last Viewed