Limbaje Formale si Automate · 2015 · Sesiune
- Profesor
- Irina Mocanu
- Anul examenului
- 2015
- Sesiune
- Sesiune
- Adăugat
- 1 februarie 2015 de anonim
1. Automatul cu stica care accepta limbajul L = {a^i b^j c^k| i+k = j}.
Constructia se va face pornind de la gramatica care genereaza limbajul.
2. Fie L = {a^n b^n c^p| m < n sau n < p}. Se poate construi ASD care sa-l
accepte pe L?
3. Construiti gramatica limbajului L = {a^n b^m c^2m+n | m,n > 0}
4. Fie G o gramatica regulata. Descrieti un algoritm care verifica daca L(G) = (L(G))^R
5. AFD care accepta L = { w din {a,b}* | |w| para si w nu incepe cu aba}
6. Sa se construiasca MT care primeste G = {N,Sigma,P,S) si x din Sigma star,
decide sirul x care apartine lui L(G).
7. Scrieti ER pentru exercitiile matematice valide cu operatii de + sau -
intre numere pozitive in baza 5 (0,1,2,3,4). Expresie valida poate fi un
singur numar (Ex: 210, 5 + 10 - 4 + 213). Scrieti gramatica regulata ce
genereaza limbajul descris.
Constructia se va face pornind de la gramatica care genereaza limbajul.
2. Fie L = {a^n b^n c^p| m < n sau n < p}. Se poate construi ASD care sa-l
accepte pe L?
3. Construiti gramatica limbajului L = {a^n b^m c^2m+n | m,n > 0}
4. Fie G o gramatica regulata. Descrieti un algoritm care verifica daca L(G) = (L(G))^R
5. AFD care accepta L = { w din {a,b}* | |w| para si w nu incepe cu aba}
6. Sa se construiasca MT care primeste G = {N,Sigma,P,S) si x din Sigma star,
decide sirul x care apartine lui L(G).
7. Scrieti ER pentru exercitiile matematice valide cu operatii de + sau -
intre numere pozitive in baza 5 (0,1,2,3,4). Expresie valida poate fi un
singur numar (Ex: 210, 5 + 10 - 4 + 213). Scrieti gramatica regulata ce
genereaza limbajul descris.