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. ====== Course review ====== Fie $math[L] un limbaj descris de o expresie regulata ce nu contine operatorul //Kleene Star//. Care afirmatie este adevarata? - $math[L] este regulat - $math[L] **nu** este regulat - $math[L] este independent de context - $math[L] este infinit - $math[\overline{L}] este infinit. Dati un exemplu de AFN pentru care algoritmul Subset Construction ruleaza in timp exponential in raport cu numarul de stari ale AFN-ului. Fie $math[\mathcal{L}] multimea limbajelor acceptate de AFN-uri **fara** $math[\epsilon]-tranzitii. Este afirmatia $math[\mathcal{L}\subsetneq LR] adevarata, unde $math[LR] reprezinta multimea limbajelor regulate? Justificati. Fie $math[w = c_1c_2\ldots c_n] un cuvant. Notam cu $math[rep(w)] cuvantul $math[c_1c_1c_2c_2\ldots c_n] si cu $math[Rep(L)], limbajul $math[\{rep(w) \in \Sigma^* \mid w \in L\}]. Daca limbajul $math[L] este regulat atunci $math[Rep(L)] este regulat sau nu? Justificati. Care din urmatoarele limbaje sunt: (i) regulate, (ii) independente de context, (iii) nici unul din cele anterioare. Justificati raspunsul. Pentru fiecare limbaj independent de context, definiti atat un APD cat si o gramatica IC. - $math[L_1 = \{xyx \mid x,y\in\{0,1\}^* \}] - $math[L_2], unde $math[L_k = \{x^nyx^n \mid |x| \leq k\}]. - $math[L_3 = \{w \in \{0,1,*,\cup,(,)\}^* \mid \text{w reprezinta o expresie regulata} \} ] - $math[L_4 = \{w \in \{0,1\}^* \mid \text{w reprezinta codificarea binara unui numar de forma $math[2^k] sau $math[2^k+1]} \}] - $math[L_5 = \{0^n1^m2^k \mid n \geq m \geq k\}] Scrieti o gramatica in Forma Normala Cholmsky pentru limbajul $math[L(a^*b^+)]. Dati un exemplu de limbaje $math[L_1] si $math[L_2], infinite, independente de context, astfel intersectia lor $math[L_1] si $math[L_2] sa fie un limbaj infinit: * independent de context * care **nu este** independent de context.