Wo kann ich Probe-Automaten und Turing-Maschinen finden? [geschlossen]

Question

Ich studiere für einen Automaten Test auf einem Kurs, der auf jflap stark basiert. Das Problem ist, wir haben nicht viel Dokumentation und die Probe-Automaten, die ich auf jlap gefunden habe wie diese und dieser , sind unzureichend für den bevorstehenden Test vorzubereiten.

Wo finde ich weitere Informationen? Jede andere Ressource mit Beispielturingmaschinen als Graphen mit Übergängen gezeigt wäre auch hilfreich sein.

Answer 1

„Problem in Automaten zu lösen, Sprachen und Komplexität“ ist ein fantastisches Lehrbuch für alles im Zusammenhang mit ... irgendetwas in seinem Titel. Unter anderem können Sie eine Reihe von Beispielen für DFAs / NFAs / PDAs / TMs für alle möglichen Dinge finden, und sie lehren Sie viele Techniken für sie zu bauen.

Edit: das erste Glied von Ihnen hält reden über „nichtdeterministische NPDAs“ und „deterministisch NPDAs“. Ich schreibe diese bearbeiten gerade meinen Drang zu befriedigen so Pleonasmen und Oxymora zu denunzieren:)

Answer 2

Michael Sipser ausgezeichnetes Buch "Einführung in die die Theorie der Berechnung ". Die Automaten und Turing-Maschinen sind ausgedrückt alle als Zustandsdiagramme, mit ausreichend Text Erklärung Ihnen helfen, zu interpretieren und umzusetzen.

Dies war unser Kurs Text an der Uni vor ca. 4 Jahren, kurz vor der 2. Auflage herauskam; Es war ein echten Rock, empfehle ich es von ganzem Herzen!