Simplify the Turing machine?
I have this Turing machine that works as an acceptor and accepts all words (01v010v001)*. In the second
Everything is shown in the image. q0 is the starting state, and qF is a trap (error state). I have a question about simplification. If I go from q0 to q1, then to q2, and finally to q4, I can accept the word 010. But can't I simply redirect this process back to q0 to accept 010 (see first image).
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.