Hi
Hier auf der Seite http://www.matheprisma.uni-wuppertal.de/Module/Turing/ gibt es ein Simulationsprogramm für die Turing-Maschine. Man kann auch eigene Programme schreiben. Ich hab Dir mal eines geschrieben, das Dein Problem lösen sollte (habs für "s w s" bis "s w w w w w s" getestet). Jetzt könntest Du natürlich das ganze noch in ein Zustandsdiagramm umschreiben usw. ....
Naja, sag mal bescheid ob, das etwas ist mit dem Du was anfangen kannst.
lg JR
(z1 ,_) ---> (z1 ,s,R) []
(z1 ,s) ---> (z2 ,s,R) []
(z2 ,s) ---> (z5 ,s,L) []
(z2 ,w) ---> (z3 ,W,R) []
(z3 ,_) ---> (z4 ,w,L) []
(z3 ,s) ---> (z3 ,s,R) []
(z3 ,w) ---> (z3 ,w,R) []
(z4 ,W) ---> (z2 ,W,R) []
(z4 ,s) ---> (z4 ,s,L) []
(z4 ,w) ---> (z4 ,w,L) []
(z5 ,W) ---> (z5 ,W,L) []
(z5 ,s) ---> (z6 ,s,R) []
(z6 ,W) ---> (z7 ,_,R) []
(z6 ,_) ---> (z6 ,_,R) []
(z6 ,s) ---> (z9 ,s,L) []
(z7 ,W) ---> (z7 ,W,R) []
(z7 ,_) ---> (z8 ,w,L) []
(z7 ,s) ---> (z7 ,s,R) []
(z7 ,w) ---> (z7 ,w,R) []
(z8 ,W) ---> (z8 ,W,L) []
(z8 ,_) ---> (z6 ,_,R) []
(z8 ,s) ---> (z8 ,s,L) []
(z8 ,w) ---> (z8 ,w,L) []
(z9 ,_) ---> (z9 ,_,L) []
(z9 ,s) ---> (z10,_,R) []
(z10,_) ---> (z10,_,R) []
(z10,s) ---> (z11,s,R) []
(z11,_) ---> (z12,s,L) []
(z11,w) ---> (z11,w,R) []
(z12,s) ---> (z12,s,H) []
(z12,w) ---> (z12,w,L) []
