Limbaje Formale si Automate · 2013 · Sesiune
- Profesor
- Lorina Negreanu
- Anul examenului
- 2013
- Sesiune
- Sesiune
- Serie
- CA
- Grupă
- 334 + 331
- Adăugat
- 22 ianuarie 2013 de Stefan Bucur
1. ER care genereaza un blocuri pare de 'a' separate prin blocuri impare de 'b'. Trebuia sa se justifice alegerea.
2. L din sigma star, L regulat
L'= { uv | u din L iar v nu e din L, v tot din sigma star } . Cum e L'? Justificati.
3.Scrieti gic a parantezelor balansate pentru (,),[,]. Nu sunt paranteze matematice, adica sirurile sunt de forma ([]) sau [()] dar nu ()() din cate am inteles.
4. Sigma = {a,b,c,d} .
L={ w1x1w2x2...xn w(n+1), unde xi din {c,d}* iar wi de forma a^nb^n, n>0 }
a) scrieti gic pentru L
b) din gic construiti APD. aici trebuia algoritmul de la gic la apd.
5. Masina turing de incrementare a unui sir din {1,2}* , lexicografic
2. L din sigma star, L regulat
L'= { uv | u din L iar v nu e din L, v tot din sigma star } . Cum e L'? Justificati.
3.Scrieti gic a parantezelor balansate pentru (,),[,]. Nu sunt paranteze matematice, adica sirurile sunt de forma ([]) sau [()] dar nu ()() din cate am inteles.
4. Sigma = {a,b,c,d} .
L={ w1x1w2x2...xn w(n+1), unde xi din {c,d}* iar wi de forma a^nb^n, n>0 }
a) scrieti gic pentru L
b) din gic construiti APD. aici trebuia algoritmul de la gic la apd.
5. Masina turing de incrementare a unui sir din {1,2}* , lexicografic