Dove posso trovare automi campione e macchine turing? [chiuso]

Question

Sto studiando per un test sugli automi su un corso fortemente basato su jflap. Il problema è che non abbiamo molta documentazione e gli automi di esempio che ho trovato su jlap come questo e questo , sono insufficienti per prepararsi per il prossimo test.

Dove posso trovare di più? Sarebbe utile anche qualsiasi altra risorsa con macchine di campionamento mostrate come grafici con transizioni.

Answer 1

" Risoluzione dei problemi in automi, lingue e complessità " è un libro di testo fantastico per tutto ciò che riguarda ... qualcosa nel suo titolo. Tra le altre cose, puoi trovare un sacco di esempi di DFA / NFA / PDA / TM per ogni sorta di cose e ti insegnano molte tecniche per costruirle.

Modifica: quel primo link continua a parlare di " NPDA non deterministiche " e " NPDA deterministici " ;. Sto scrivendo questa modifica solo per soddisfare il mio bisogno di denunciare tali pleonasmi e ossimora :)

Answer 2

Prova l'eccellente libro di Michael Sipser " Introduzione alla teoria del calcolo " . Gli automi e le macchine di Turing sono tutti espressi come diagrammi di stato, con una spiegazione del testo sufficiente per aiutarti a interpretarli e implementarli.

Questo è stato il testo del nostro corso presso Uni circa 4 anni fa, poco prima che uscisse la seconda edizione; era un vero rock, lo consiglio vivamente!