Où puis-je trouver des exemples d'automates et de machines de turing? [fermé]

Question

J'étudie un test d'automate sur un cours fortement basé sur jflap. Le problème, c’est que nous n’avons pas beaucoup de documentation et les exemples d’automates que j’ai trouvés sur jlap, comme this et ceci ne suffisent pas pour préparez-vous pour le prochain test.

Où puis-je trouver plus? Toute autre ressource contenant des exemples de machines illustrés par des graphiques avec des transitions serait également utile.

Answer 1

" Résolution de problèmes d'automates, de langages et de complexité " est un manuel fantastique pour tout ce qui a trait à ... quelque chose dans son titre. Entre autres choses, vous pouvez trouver une foule d'exemples de DFA / NFA / PDA / TM pour toutes sortes de choses, et ils vous apprendront beaucoup de techniques pour les construire.

Modifier: votre premier lien ne cesse de parler de & "; NPDA non déterministes &"; et & "; NPDA déterministes &" ;. J'écris cette édition juste pour satisfaire mon envie de dénoncer de tels pléonasmes et oxymores:)

Answer 2

Essayez l'excellent livre de Michael Sipser, & "Introduction à la théorie du calcul &"; . Les automates et les machines de Turing sont tous exprimés sous forme de diagrammes d'états, avec suffisamment d'explications textuelles pour vous aider à les interpréter et les mettre en œuvre.

C’était le texte de notre cours à Uni il ya environ 4 ans, juste avant la publication de la 2e édition; c'était un vrai rocher, je le recommande vivement!