Limbaje Formale si Automate · 2011 · Sesiune
- Profesor
- Lorina Negreanu
- Anul examenului
- 2011
- Sesiune
- Sesiune
- Serie
- CA
- Grupă
- 332/333
- Adăugat
- 20 septembrie 2011 de Bogdan Ivanov
17 Ianuarie 2011
332 + 333 CA
1) Cum e limbajul L={a^n b^f(n) c^n | f(n) = n mod 5, n>=0}.
Justificati.
2)Demonstrati ca L = {0^i 1^j | i!=j} nu e limbaj regulat folosind
proprietati de inchidere.
3) Scrieti expresia regulata pentru L = {w din {0,1}* | w nu contine
101}. Explicati solutia pe scurt
4)Fie gramatica
S -> abSc | A
A -> cAd | cd
a) scrieti o derivare stanga pentru ababccddcc
b) ? L(G), justificati (nu demonstratie)
5) Fie L1,L2 limbaje Turing acceptate. Cum este L1UL2? Justificati
332 + 333 CA
1) Cum e limbajul L={a^n b^f(n) c^n | f(n) = n mod 5, n>=0}.
Justificati.
2)Demonstrati ca L = {0^i 1^j | i!=j} nu e limbaj regulat folosind
proprietati de inchidere.
3) Scrieti expresia regulata pentru L = {w din {0,1}* | w nu contine
101}. Explicati solutia pe scurt
4)Fie gramatica
S -> abSc | A
A -> cAd | cd
a) scrieti o derivare stanga pentru ababccddcc
b) ? L(G), justificati (nu demonstratie)
5) Fie L1,L2 limbaje Turing acceptate. Cum este L1UL2? Justificati