Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Limbaje Formale Si Automate

Limbaje Formale Si Automate

Ratings: (0)|Views: 19 |Likes:
Published by Sergiu Miron

More info:

Published by: Sergiu Miron on Feb 14, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/04/2013

pdf

text

original

 
Prefat¸˘a
Cartea cont¸ine materia pentru student¸ii informaticieni din anul III,ˆınv˘at¸˘amˆant la distant¸˘a. Cont¸inutul c˘art¸ii este ˆımp˘art¸it ˆın cinci teme. Fiecare tem˘a este format˘a dintr-o prezentare teoretic˘a, insistˆandu-se pe clasificarea not¸iunilor introduse ¸si mai put¸in pe demonstrarea tu-turor teoremelor, dup˘a care urmeaz˘a ate un set de exercit¸ii rezolvate ¸si propuse spre rezolvare.Cu toate c˘a lipsesc demonstrat¸iile unor teoreme, cartea este util˘a ¸si student¸ilor din anul II de la ˆınv˘at¸˘amˆant de la zi. Sper ca munca depus˘aˆın redactarea acestui material s˘a fie de folosstudent¸ilor informaticieni.Autoruli
 
Cuprins
Prefat¸˘aTema 1. Limbaje ¸si gramatici generative
1. Not¸iuni introductive ......................................... 12. Gramatici generative ¸si limbaje generate de gramatici ........53. Exemple rezolvate .......................................... 13
Tema 2. Automate finite ¸si gramatici de tip 3
1. Automate finite.............................................212. Caracterizarea limbajelor regulate cuajutorul relat¸iilor de echivalet¸˘a..............................24 3. Construct¸ia automatului minimal...........................274. Automate nedeterministe ................................... 325. Limbaje regulate ¸si limbaje de tip 3.........................366. Exercit¸ii rezolvate .......................................... 44ii
 
Tema 3. Limbaje independente de context ¸siautomate pushdown nedeterministe
1. Automate pushdown nedeterministe ........................ 532. Exemple rezolvate .......................................... 66
Tema 4. Forme normale. Arbori de derivare.Teorema lui Ogden ¸si aplicat¸ii.Automate pushdown deterministe.
1. Forme normale ............................................. 732. Arbori de derivare .......................................... 763. Automate pushdown deterministe...........................844. Exercit¸ii rezolvate .......................................... 85
Tema 5. Familiile de limbje
L
0
¸si
L
1
.
1. Propriet˘at¸i de ˆınchidere pentru framille
L
0
¸si
L
1
............ 892. Gramatici monotone ¸si limbaje independente de context.....923. Ma¸sini Turing ¸si limbaje de tip 0 ........................... 944. Automate liniar m˘arginite ¸si limbaje de tip 1 .............. 1015. Exercit¸ii rezolvate ......................................... 1036. Bibliografie................................................107iii

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->