
- 509 pagine
- Italian
- ePUB (disponibile su mobile)
- Disponibile su iOS e Android
eBook - ePub
Teoria del Linguaggio Formale e degli Automi
Informazioni su questo libro
Il libro contiene una trattazione approfondita di tutti gli argomenti relativi alla teoria del calcolo, come menzionato nei syllabus di B.E., M.C.A. e M.Sc. (Informatica) di varie università. Una quantità sufficiente di input teorici supportati da una serie di illustrazioni sono inclusi per coloro che sono profondamente interessati alla materia. Nei primi capitoli il libro presenta il materiale di base necessario per lo studio delle teorie degli automi. Esempi di argomenti inclusi sono: i linguaggi regolari e il Teorema di Kleene; gli automi minimi e i monoidi sintattici; il rapporto tra linguaggi senza contesto e automi pushdown; le macchine di Turing e la decidibilità. Questo libro facilita agli studenti uno stile di scrittura più informale, fornendo al contempo la copertura più accessibile della teoria degli automi, un trattamento solido sulla costruzione di prove, molte figure e diagrammi per aiutare a trasmettere le idee, e barre laterali per evidenziare il materiale correlato. Ogni capitolo offre un'abbondanza di esercizi per l'apprendimento pratico.
Scelto da 375,005 studenti
Accesso a oltre 1,5 milioni di titoli a un prezzo mensile trasparente.
Studia in modo più efficiente con i nostri strumenti dedicati.
Informazioni
Argomento
Ciencia de la computaciónCategoria
Ciencias computacionales general![]() | ![]() |

Contenuti
1. Preliminari matematici: set di funzioni e relazioni: 05
2. Automi Finiti ed Espressioni Regolari: 12

Concetti di Base dei Sistemi a Stato Finito
Automi Finiti Deterministici e Non Deterministici
Automi Finiti con e-moves
Espressioni Regolari
Minimizzazione degli Automi Finiti
Macchine Mealy e Moore
Automi Finiti a Due Vie
![]() | ![]() |

3. Set Regolari e Grammatiche Regolari: 36

Definizioni di Base dei Linguaggi Formali e delle Grammatiche
Serie Regolari e Grammatiche Regolari
Proprietà di Chiusura dei Set Regolari
Pompaggio Lemma per Set Regolari
Algoritmo di Decisione per i Set Regolari
Minimizzazione degli Automi Finiti
![]() | ![]() |

4. Grammatiche e Lingue Libere dal Contesto: 50

Grammatiche e Lingue Libere dal Contesto
Alberi di Derivazione
Semplificazione delle Grammatiche Senza Contesto
Forme Normali
Pompaggio Lemma per CFL
Proprietà di chiusura delle CFL
Algoritmo decisionale per CFL
![]() | ![]() |

5. Spingere verso il Basso Automata e Determinazione CFL: 73

Descrizione Informale
Definizioni
Automi Push-Down e Lingue Senza Contesto
Automi di Analisi e push-down
Indice dei contenuti
- Titolo Pagina
- Copyright Pagina
- Copyright Pagina
- Teoria del Linguaggio Formale e degli Automi
- Contenuti | 1. Preliminari matematici: set di funzioni e relazioni: 05 | 2. Automi Finiti ed Espressioni Regolari: 12
- 3. Set Regolari e Grammatiche Regolari: 36
- 4. Grammatiche e Lingue Libere dal Contesto: 50
- 5. Spingere verso il Basso Automata e Determinazione CFL: 73
- 6. Macchine di Turing Universali e Indecidibilità: 83
- Capitolo 1 | Preliminari matematici: set di funzioni e relazioni
- Capitolo 2 | Automi finiti (DFA e NFA, epsilon NFA)
- Capitolo 3 | Espressione regolare (RE) e lingua)
- Capitolo 4 | ContextFree, grammatiche e lingue
- Capitolo 5 | Pushdown Automata (PDA)
- Capitolo 6 | Macchina di Turing
- Indecidibilità
- La tua recensione e i tuoi consigli fanno la differenza
- Sei in cerca di un'altra bella lettura? | I tuoi libri, la tua lingua
Domande frequenti
Sì, puoi annullare l'abbonamento in qualsiasi momento dalla sezione Abbonamento nelle impostazioni del tuo account sul sito web di Perlego. L'abbonamento rimarrà attivo fino alla fine del periodo di fatturazione in corso. Scopri come annullare l'abbonamento
No, i libri non possono essere scaricati come file esterni, ad esempio in formato PDF, per essere utilizzati al di fuori di Perlego. Tuttavia, puoi scaricarli nell'app Perlego per leggerli offline su smartphone o tablet. Scopri come scaricare libri offline
Perlego offre due piani: Essential e Complete
- Essential è l'ideale per chi studia o per i professionisti che amano esplorare una vasta gamma di argomenti. Accedi all'Essential Library con oltre 800.000 titoli affidabili e bestseller nei settori business, crescita personale e discipline umanistiche. Include tempo di lettura illimitato e voce standard per la funzione Leggi ad alta voce.
- Complete: perfetto per studenti avanzati e ricercatori che necessitano di accesso completo e senza restrizioni. Sblocca oltre 1,5 milioni di libri su centinaia di argomenti, inclusi titoli accademici e specialistici. Il piano Complete offre anche funzionalità avanzate come Leggi ad alta voce Premium e Assistente alla ricerca.
Perlego è un servizio di abbonamento a libri di testo online che ti permette di accedere a un'intera biblioteca digitale a meno del prezzo di un singolo libro al mese. Con oltre 1,5 milioni di libri su più di 990 argomenti, qui trovi tutto ciò che ti serve! Scopri la nostra missione
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Scopri di più sulla funzione di sintesi vocale
Sì! Puoi utilizzare l'app di Perlego su dispositivi iOS e Android per leggere quando e dove vuoi, anche offline. È perfetta per gli spostamenti quotidiani o quando sei in viaggio.
I dispositivi con iOS 13 e Android 7 o versioni precedenti non sono supportati. Scopri di più su come utilizzare l'app
I dispositivi con iOS 13 e Android 7 o versioni precedenti non sono supportati. Scopri di più su come utilizzare l'app
Sì, puoi accedere a Teoria del Linguaggio Formale e degli Automi di Ajit Singh, Elena Carretta in formato PDF e/o ePub, così come ad altri libri molto apprezzati su Ciencia de la computación e Ciencias computacionales general. Abbiamo oltre 1,5 milioni di libri disponibili nel nostro catalogo da esplorare.

