Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Capitolo 1 Concetti matematici di base 1 1.1 Insiemi, relazioni e funzioni . . . . . . . . . . . . . . . . . . . . 1
 

Summary: iv
Indice
Capitolo 1 Concetti matematici di base 1
1.1 Insiemi, relazioni e funzioni . . . . . . . . . . . . . . . . . . . . 1
Capitolo 2 Linguaggi formali 35
2.1 Grammatiche di Chomsky . . . . . . . . . . . . . . . . . . . . . 36
2.2 Grammatiche con -produzioni . . . . . . . . . . . . . . . . . . 48
2.3 Linguaggi lineari . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.4 Forma Normale di Backus e diagrammi sintattici . . . . . . . . 55
2.5 Accettazione e riconoscimento di linguaggi . . . . . . . . . . . . 58
Capitolo 3 Linguaggi regolari 71
3.1 Automi a stati finiti . . . . . . . . . . . . . . . . . . . . . . . . 71
3.2 Automi a stati finiti non deterministici . . . . . . . . . . . . . . 77
3.3 Relazioni tra ASFD, ASFND e grammatiche di tipo 3 . . . . . 83
3.4 Il "pumping lemma" per i linguaggi regolari . . . . . . . . . . . 92
3.5 Propriet`a di chiusura dei linguaggi regolari . . . . . . . . . . . 94
3.6 Espressioni regolari e grammatiche regolari . . . . . . . . . . . 102
3.7 Predicati decidibili sui linguaggi regolari . . . . . . . . . . . . . 110
3.8 Il teorema di Myhill-Nerode . . . . . . . . . . . . . . . . . . . . 113
Capitolo 4 Linguaggi non contestuali 121

  

Source: Ausiello, Giorgio - Dipartimento di Informatica e Sistemistica, UniversitÓ di Roma "La Sapienza"

 

Collections: Computer Technologies and Information Sciences