Warum wird bei \(S_{val_{e}}\) bei 0 eine 1 geschrieben vor Wechsel zu \(S_{abl}\) ?

Question

Hallo,

warum wird bei \(S_{val_{e}}\) bei einer gelesenen 0 eine 1 auf das Band geschrieben bevor in den ablehnenden Zustand \(S_{abl}\) gewechselt wird? Müsste nicht wie beim Pendant \(S_{val_{n}}\) einfach die gleiche Zahl beibehalten werden - also eine 0 geschrieben werden?

Vielen Dank für die Hilfe

 

Answer 1

Hallo,

so wie ich das sehe hast du Recht! Das Schreiben einer 1 macht in diesem Falle tatsächlich keinen Sinn. Natürlich ändert sich dadurch am Akzeptierungverhalten der Turingmaschine nichts, aber logisch wäre tatsächlich (\(S_{abl}\), 0 , N) als Folgekonfiguration nach dem Lesen einer 0 im Zustand \(S_{val_{e}}\).

Gruß,

Janine (Tutorin)