Examen: Limbaje formale si automate

Semestrul II 14 iunie 2013,

Universitatea din Bucuresti
durata examenului: 2 ore
Nume si prenume:

Varianta A

Grupa:
1. (10 puncte) S
a se enunte si s
a se demonstreze lema de pompare pentru limbajele acceptate de
automatele finite deterministe.

2. (10 puncte) Demonstrati c

a familia limbajelor independente de context (CF) este nchis
a la
intersectie cu limbaje regulate.

Nume si prenume:
grupa:
Spuneti daca urm
atoarele afirmatii sunt adevarate sau nu, justificati pe scurt raspunsul.
3. (5 puncte) Exist
a limbaje finite care nu sunt regulate.

4. (5 puncte) Fie limbajele L1 , L2 cu proprietatea ca L1 L2 si L2 CF . Atunci L1 CF . Unde

CF este familia de limbaje generate de gramaticile independente de context.

5. (5 puncte) Este decidabil dac

a limbajele acceptate de doua automate finite nedeterministe sunt
egale sau nu.

6. (5 puncte) Exist
a o gramatic
a regulata G astfel ncat nu exista nici un automat finit determinist
(DFA) care sa accepte exact L(G).

7. (10 puncte) a. Dati un automat finit nedeterminist (NFA) care nu este N F A si nici DFA.
Automatul trebuie sa aibe cel putin 6 stari accesibile din starea initiala.
b. Transformati automatul de la punctul a. ntr-un DFA.

8. (10 puncte) Spuneti dac

a limbajul urmator este sau nu regulat, daca este construiti un automat
finit determinist care s
a l accepte, dac
a nu demonstrati folosind lema de pompare pentru REG c
a
limbajul nu este regulat L = {a3k bl ak | k 0, l 1}.

Nume si prenume:
grupa:
9. (10 puncte) Spuneti dac
a limbajul urmator este independent de context sau nu; daca da,
construiti o gramatic
a independent
a de context care sa l genereze, daca nu, demonstrati folosid
eventual lema de pompare c
a limbajul nu este independent de context.
L = {ai bj+3 | i 6= j} {a3k bl ak | k 0, l 1}

10. (10 puncte) Construiti un automat pushdown (PDA), eventual determinist, pentru limbajul
L = {w | w {a, b, c} , 3|w|a + 2 = |w|b }.

11. (10 puncte) Spuneti dac

a limbajul urmator este independent de context sau nu; daca da,
construiti o gramatic
a independent
a de context care sa l genereze, daca nu, demonstrati folosid
eventual lema de pompare c
a limbajul nu este independent de context. L = {ww | w {a, b} }.

BONUS. (10 puncte) Se consider

a limbajul L = {an bm | n prim, m > 0}. Demonstrati folosid
eventual lema de pompare c
a limbajul nu este independent de context.

 P1
CIORNA:
Nume si prenume:

grupa:

 P2
CIORNA:
Nume si prenume:

grupa: