Tema 1

Reprezentarea limbajelor

A. Probleme la care se cunoaste o gramatica G si se cere:

a) Sa se determine prin deductie limbajul L generat de gramatica G si sa se faca o verificare pentru
cel putin trei cuvinte din limbaj.
b) Sa se demonstreze ca L = L(G)

1. G = ({S, X, Y}, {a, b}, P, S)

P = { S → aXb,
Xb → aXbb,
X→
}

2. G = ( S, A, B}, {0, 1}, P, S)

P = { S → 0A,
A → B1,
B → S,
B→
}

3. G = ({S, X, Y}, {a, b, c}, P, S)

P = { S → XY,
X → aXb,
Y → cY,
Y→c
}

4. G = ({S}, {0}, P, S)
P = { S → 00S,
S→0
}

5. G = ({S}, {0}, P, S)
P = { S → 0S0,
S → 00
}

6. G = ({S, A, B}, {a, b, c}, P, S)

P = { S → AB,
S → BB,
A → aA,
A → c,
B → bB,
B→
}

7. G = ({S, X, Y}, {a, b, c, d}, P, S)

P = { S → XY,
X → aXb,
 X → ab,
Y → cYd,
Y → cd
}

8. G = ({S}, {a, b, c}, P, S)

P = { S → aSc,
S → cSa,
S → bSc,
S → cSb,
S→
}

9. G = ({S, A}, {a, b, c}, P, S)

P = { S → aSd,
S → aAd,
A → bAc,
A → bc
}

10. G = ({S, A, B}, {0, 1}, P, S)

P = { S → 0S1,
S → 0A,
S → 1B,
A → 0A,
A → ,
B → 1B,
B→
}

11. G = ({S}, {0, 1}, P, S)

P = { S → 0S0S1S,
S → 0S1S0S,
S → 1S0S0S,
S→
}

12. G = ({S, A}, {a, b}, P, S)

P = { S → aaSb,
S → aaAb,
A → aAb,
A → ab
}

13. G = ({S, A, B}, {a, b, c}, P, S)

P = { S → ABC,
A → aA,
A → a,
B → bB,
B → b,
C → cC,
C→c
}
14. G = ({S, X}, {a, b}, P, S)
P = { S → aSa,
S → aSb,
S → X,
X → aX,
X → bX,
X→
}

15. G = ({S, X}, {a, b, c, d}, P, S)

P = { S → aaSd,
S → X,
X → bXcc,
X→c
}

B. Probleme la care se cunoaste un limbaj L si se cere:

a) Sa se determine o gramatica G, generatoare pentru limbajul L, specificand metoda folosita.
b) Sa se demonstreze ca L = L(G)

16. L = {a2nbmd2men | n0, m1}

17. L = {anbncm | n,m0}

18. L = {a2n | n1}

19. L = {ancbm | n,m1}  {b2n | n1}

20. L = {anbncmdm | n,m0}

21. L = {anbmcmdn | n,m1}

22. L = {0n1m | m,n0, mn}

23. L = {albmcn | l+m=n, l,m,n>0}

24. L = {w{0,1}* | #0(w) = #1(w)}, unde #c(w) reprezinta numarul de caractere c din cuvantul w}

25. L = {an+3b2n+1 | n0}  {a3k+1b2k | k1}

26. L = {anx | n  0, x  {a,b}*, |x|  n}

27. L = {anbmcp | p=n+m, n,m,p>0}

28. L = {w{0,1}* | w=wR}

29. L = {w{0,1}* | w=xy, y = x }, unde x reprezinta complementul in baza 2 al lui x

30. L = { anbm | m=3*n sau n=3*m, n,m>0}