Turing-Maschine vereinfachen?
Ich habe diese Turingmaschine, die als Akzeptor arbeitet und alle Wörter (01v010v001)* akzeptiert. Im zweiten
Bild ist alles dargestellt. q0 ist der Startzustand und qF eine Falle( Fehlerzustand) .Ich habe eine Frage zur Vereinfachung. Wenn ich über q0 zu q1 und dann zu q2 gehe und letztendlich zu q4 kann ich das Wort 010 akzeptieren. Aber kann ich diesen Prozess nicht einfach wieder auf q0 umleiten, um 010 zu akzeptieren siehe erstes Bild.
1 Antwort
Also erst mal Theoretische Informatik ist bei mir schon etwas her, aber das sieht mir nicht nach einer Turing Maschine sondern einem endlichen Automaten aus.
Und jetzt kurz zu deiner Skizze. Bei diesem Automaten werden Worte wie 0101 in den fang Zustand geleitet und deswegen verworfen. Deswegen passt deine Skizze leider nicht ganz.
Übrigens fehlt dir die start Markierung. Nur die Benennung q0 reicht nicht als Start aus.