Ich wollte einfach dividieren (zyklisch abziehen), bis es nicht mehr geht und dann gucken, was übrig ist.
Das würde ich auch so machen.
Angenommen man hat folgende Eingabe: (das Pipe sind ist ein Blank oder eine andere Begrenzung).
Was bedeutet: 3 mod 2 = ?
Dann würde ich durch "darüberscannen" soviele a's entfernen wie es b's gibt und dabei die b's ersetzen:
Für den nächsten Durchlauf dann die B's zurücksetzten:
Nach dem nächsten Schleifendurchlauf müsstest du bemerken das alle a's weg sind, aber noch b's übrig:
Das ist ja leicht zu erkennen.
Schließlich noch alles entfernen, was kein b ist:
Fertig.
Das in ein Turing-Programm zu gießen ist dann nur noch Schreibarbeit (wenn man die es paar mal geübt hat)
Wenn dir lustig ist, kannst du die Schleifendurchläufe auch zählen und erhältst damit das Ergebnis der ganzzahligen Division.