Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA mit den folgenden Übergangsregeln:
,
,
,
Wenn ich zum Beispiel in bin und ein a als Eingabe verarbeite, wende ich die erste Regel an. Mein Verständnis ist, dass ich eine | haben würde | 1 Chance, im Staat zu bleiben| q0⟩, a| | 1 Chance auf Fortschritt| q1⟩und ein| | 1 Chance, die Berechnung zu beenden und die Zeichenfolge abzulehnen.
Ich würde mir vorstellen, dass die Automaten dafür wie das folgende Bild aussehen
Ich bin mir jedoch nicht ganz sicher, ob das richtig ist. Die in der Arbeit genannten Wahrscheinlichkeiten für die Annahme der Zeichenfolge sind 1 während die Wahrscheinlichkeit der Ablehnung3beträgt . Ich frage mich nur, ob jemand entweder auf einen Fehler hinweisen oder bestätigen könnte, was ich konzeptionell für das Beispiel im Sinn habe.
Vielen Dank.
Überarbeitetes Automatenmodell, um die Wahrscheinlichkeiten genauer wiederzugeben: