Wie erstelle ich eine Turingmaschine die sortiert?

1 Antwort

Es gibt unabzählbar unendlich viele Möglichkeiten für eine solche TM und mindestens genausoviele Möglichkeiten, soeine TM zu erdenken.

An sich wäre eine recht simple Möglichkeit, sich einfach ein Haufen Vertauschungsregeln zu erdenken:

ba->ab;

ca->ac;

da->ad;

cb->bc;

db->bd;

dc->cd;

Und die sollen erschöpfend angewendet werden.

Dazu eine TM zu finden ist jetzt trivial.