UNIVERSITATEA TITU MAIORESCU

FACULTATEA DE INFORMATIC



COLOCVIU LA DISCIPLINA "LIMBAJE FORMALE, AUTOMATE I CALCULABILITATE"
ANUL III ID - SESIUNEA MAI/IUNIE 2013


I. Fie gramatica independent de context P S T N G , , , unde Y X S N , , , b a T , , iar mulimea
produciilor P este format din:










a) Folosind clasificarea Chomsky a gramaticilor, explicai de ce este o gramatic independent de
context, dar nu este o gramatic regulat.
b) Fie cuvntul . Artai c scriind o derivare a lui din simbolul iniial .
c) Aducei gramatica la forma normal Chomsky.


II. Se consider automatul finit determinist

unde

iar funcia de tranziie este dat n urmtorul tabel:

0 1

a) Reprezentai grafic automatul .
b) Artai c

iar

.
c) Scriei gramatica regulat echivalent cu automatul .

III. Considernd definite macroinstruciunile i , demonstrai c funcia

este calculabil.

PUNCTAJ:
Subiectul I: 40 puncte (5 p. + 10 p. + 25 p.)
Subiectul II: 35 puncte (10 p. + 10 p. + 15 p.)
Subiectul III: 15 puncte
Din oficiu: 10 puncte