Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ===== Examen LFA ===== **Intrebarea 1:** * AFD * AFN * Expresii regulate 1.1. Fie urmatoarea expresie regulata $math[E = 0\cup(101\cup 010)\cup 00(01 \cup 10 \cup \epsilon)11]. Care afirmatie este adevarata privitor la limbajul $math[L(E)]? * $math[L(E) = \emptyset] * $math[L(E)] este finit. * $math[L(E)] este regulat. * $math[L(E)] contine sirul vid. **Intrebarea 2:** * Conversii * Lema de Pompare * Proprietati de inchidere are LR 2.1. Fie $math[E] o ER. Sa presupunem ca $math[A_1] este rezultatul aplicarii algoritmului de transformare al ER in APD si ca $math[A_2] este un automat cu numar **dublu** de stari fata de $math[A_1], astfel incat $math[L(A_2) = L(E)]. Comentati fiecare afirmatie de mai jos (adevarat, fals, de ce?) * automatul $math[A_2] nu poate exista. * daca exista un cuvant $math[w \in L(A_1)] astfel incat $math[w \not\in L(A_2)] atunci algoritmul de transformare a fost aplicat gresit. * daca pt toate cuvintele $math[w \in L(A_2)], avem $math[w \in L(A_2)] atunci algoritmul de transformare a fost aplicat corect. 2.2. Fie $math[A] un AFD, $math[E_1] o ER care genereaza $math[\overline{L(A)}] si $math[E_2] o ER care genereaza $math[L(A)]. Care afirmatie este adevarata? * $math[L(E_1E_2) = \emptyset] * daca $math[E_1] genereaza **doar** siruri de lungime para, atunci $math[E_2] genereaza **doar** siruri de lungime impara. * $math[L(E_1 \cup E_2) = \Sigma^*] * $math[L(E_1) \subsetneq L(E_2)] **Intrebarea 3:** * APD * Gramatici IC **Intrebarea 4:** * Ambiguitate * Forma N. Cholmsky 4.1. De ce este urmatoarea gramatica ambigua? $math[S \leftarrow 0S1\mid 1S0\mid 1S\mid S0\mid \epsilon] **Intrebarea 5:** * Conversie GIC-APD * Gramatici Regulate 5.1. Fie $math[L] un limbaj acceptat de urmatoarea gramatica: $math[S \leftarrow 0S \mid 1S \mid A, A \leftarrow 1 \mid 0B, B \leftarrow 0 \mid 1A ]. Comentati fiecare afirmatie de mai jos: (adevarat/fals, si de ce?) * Limbajul $math[L] **poate fi un limbaj regulat** * Limbajul $math[L] **este** un limbaj regulat * Limbajul $math[L] **este** un limbaj regulat dar **nu** independent de context **Intrebarea 6:** * Prop. de inchidere ale LIC * Masini Turing