Ho bisogno di un libro di teoria sugli automi finiti con molti esempi che posso usare per lo studio personale e per prepararmi agli esami.
Ho bisogno di un libro di teoria sugli automi finiti con molti esempi che posso usare per lo studio personale e per prepararmi agli esami.
Risposte:
Il riferimento classico è " Introduzione alla teoria degli automi, lingue e computazione " (di Hopcroft, Motwani e Ullman). Alcune persone raccomandano anche i " Linguaggi formali e la loro relazione con gli automi " molto più antichi (di Hopcroft e Ullman).
Tuttavia, mi piace " Introduzione alla teoria della computazione " (di Sipser). È scritto molto bene ed è un libro relativamente nuovo.
Ho un debole per Automata & Computability di Dexter Kozen ( sommario e capitoli di esempio [PS]). È abbastanza approfondito e copre alcuni argomenti avanzati davvero interessanti. Le prove sono formali ed esplicite e la notazione e la formattazione sono adorabili. Soprattutto, gli esercizi sono eccellenti, quindi a seconda del livello degli esami sarà un buon materiale di studio.
Quello che sto usando di più per i miei corsi è Elements of Automata Theory di Jacques Sakarovitch, Cambridge University Press, 2009. La sua portata potrebbe essere leggermente diversa da quella degli altri, in quanto copre ampiamente gli aspetti algebrici, le serie di potenze formali, e trasduzioni. E ci sono molti esercizi.
"Applied Combinatorics on Words", di Lothaire, 2004
È di gran lunga il mio preferito. Un sacco di esempi, e si sviluppa anche dalle basi assolute fino ad alcune applicazioni di automi piuttosto interessanti come il riconoscimento vocale automatico con trasduttori a stati finiti ponderati e argomenti in bioinformatica.
Soprattutto, è gratuito da scaricare e include anche set di soluzioni:
Non sono sicuro che questo sia il miglior libro da preparare per gli esami, ma il libro
Automi finiti; Comportamento e sintesi di BA Trakhtenbrot e Ya. M. Barzdinʹ
è abbastanza buono. Ha un numero sorprendente di grandi risultati che ho trovato particolarmente utili nella ricerca.
Introduzione alle lingue e Teoria del calcolo
John C. Martin
Consiglio vivamente questo libro per un principiante e questa è la scelta perfetta per chi è alla ricerca di molti esempi.
Mi piacciono i seguenti appunti di Jarkko Kari: http://users.utu.fi/jkari/automata/
Schema breve del corso:
Regular languages
Finite automata, regular expressions
Kleene theorem
Pumping lemma
Closure properties and decision algorithms
State minimization, Myhill-Nerode theorem
Context-free languages
Grammars, parsing
Normal forms
Pushdown automata
Pumping lemma
Closure properties and decision algorithms
Turing machines
Recursive and recursively enumerable languages
Universal Turing machines
Undecidability of the halting problem (Turing)
Reductions, other undecidable problems
Esistono anche elementi della teoria del calcolo di H.Lewis e C.Papadimitriou. È un'introduzione ben scritta alla teoria degli automi.
Dalle macchine semplici ai programmi impossibili
Copre molte cose, tra cui la teoria degli automi. Gli esempi sono presentati in Ruby e sono abbastanza facili da capire. Potresti aver bisogno di un altro libro se vuoi approfondire la teoria, ma questo è fantastico per imparare le basi.
"Formal Languages and Automata Theory" di AA Puntambekar è il miglior libro per esempi risolti. Gran parte del libro contiene solo esempi risolti e poca teoria. È buono per passare gli esami.