Turingmaschine konstruieren

[Webo]

Hallo zusammen,

ich habe grade ein Problem beim "Konstruieren einer Turingmaschine". Die Aufgabe ist es eine Maschine zu konstruieren, die Wörter aus {a,b}* erkennt, welche die gleiche Anzahl von as wie bs haben.

Mein Gedanke dazu ist:

Vom Startzeichen ausgehend: Wenn ein a das aktuelle Zeichen ist, dann gehe solange weiter, bis ein b kommt (oder halt genau andersrum). Dann ersetze das b und das a durch ein Sonderzeichen und nehme das Zeichen neben a und mache dann das genauso. Wenn das aktuelle Zeichen ein Sonderzeichen ist -> ignorieren. Wenn dann irgendwann kein Gegenstück mehr zu einem a oder b da ist, dann ist das Wort nicht richtig. Wenn nur noch Sonderzeichen da sind ist das Wort "richtig".

Soweit zu meiner Theorie - müsste doch so eigentlich gehen?! Das große Fragezeichen ist jetzt nur noch, wie schreibe ich das jetzt als Turingmaschine. Was mich aufhält ist das "solange weiter gehen" und "wieder zum a zurück". Da hab ich keine Idee, wie ich das aufschreiben sollte.

Vielleicht kann mir von Euch jemand weiterhelfen.


Grüße

Webo