Limbaje Formale si Automate · 2012 · Sesiune
- Profesor
- Lorina Negreanu
- Anul examenului
- 2012
- Sesiune
- Sesiune
- Serie
- CB
- Grupă
- 331 / 333
- Adăugat
- 1 februarie 2012 de anonim
Subiecte 31.01.2012
1. Expresie regulata pentru sirurile in care orice prefix indeplineste conditita nr_0 - nr_1 <= 1 (10p)
2. Orice limbaj finit e regulat - adevarat/fals? Justificati (10p)
3. Cum este limbajul L={a^i b^j a^i b^j | i, j > 0}? (10p)
4. Se da gramatica:
X -> aY
Y -> bX | bcb | b
a) demonstrati prin inductie ca daca w este un sir astfel incat Y=>w, atunci |w| e impara (10p)
b) construiti APD dupa gramatica (10p)
5. Ceva dubios cu masini Turing si o functie ro - nu-mi aduc aminte. (10p)
1. Expresie regulata pentru sirurile in care orice prefix indeplineste conditita nr_0 - nr_1 <= 1 (10p)
2. Orice limbaj finit e regulat - adevarat/fals? Justificati (10p)
3. Cum este limbajul L={a^i b^j a^i b^j | i, j > 0}? (10p)
4. Se da gramatica:
X -> aY
Y -> bX | bcb | b
a) demonstrati prin inductie ca daca w este un sir astfel incat Y=>w, atunci |w| e impara (10p)
b) construiti APD dupa gramatica (10p)
5. Ceva dubios cu masini Turing si o functie ro - nu-mi aduc aminte. (10p)