LFA

1. Automate finite si gramatici regulate
- definitie
- o demonstratie la alegere dintre – echivalenta AFD-AFN si echivalenta AFN-AFNL
- o demonstratie la alegere dintre cele 2 demonstratii de la echivalenta automate-
gramatici

2. Automat minimal si consecinte
doua demonstratii dintre cele patru de mai jos:
- Teorema Kleene, Constructia automatului minimal, Demonstratia existentei
automatului minimal, Demonstratia unicitatii acestuia

3. Proprietati de inchidere pentru limaje regulate
- la ce e inchis
- ce inseamna ca e inchis la…
- doua demonstratii la alegere din grupele de mai jos:
 Reuniune, concatenare, Kleene
 Intersectie
 Morfisme inverse
 Substitutie
 Complementare

4. Proprietati de decizie pe familia de limbaje regulate
- care sunt acele proprietati si daca problemele respective sunt decidabile sau nu
- doua demonstratii dintre urmatoarele probleme:
- finititudine, trivialitate, echivalenta, apartenenta

5. Automatul push-down si gramatici independente de context
- definitii
- o demonstratie dintre cele 3 moduri pt a arata echivalenta modului de acceptare al
automatelor
- o demonstratie dintre cele 2 moduri pt a arata echivalenta modului de acceptare al
gramaticilor

6. Proprietati de inchidere ale familiei limbajului independent de context
- doua demonstratii la alegere din grupele de mai jos:
 Reuniune, concatenare, Kleene
 Intersectie cu limbajul regulat
 Morfisme inverse, Substitutie
 Neinchiderea la intersectie

7. Probleme de decizie – limbaje independente de context
- demonstratia faptului ca e nedecidabila problema echivalentei sau
- o demonstratie pentru o problema decidabila si o demonstratie pentru una
nedecidabila din urmatoarea lista:
- apartenenta, finititudinea, trivialitatea, problema ambiguitatii

8. Forma normala Chomsky
- definitie
- cei patru pasi pentru a construi forma normala Chomsky
- doi pasi din cei patru de aratat ca intr-adevar fac ceea ce se spune despre ei