Turingmaschine a^i b^m c^k mit j ungleich m und j ungleich k

Neue Frage »

Auf diesen Beitrag antworten »
123 Turingmaschine a^i b^m c^k mit j ungleich m und j ungleich k

Meine Frage:
Hallo smile kann mir jemand weiterhelfen, ich suche für die Sprache L ={a^i b^m c^k/ j,m,k>=1, j ungleich m und j ungleich k} eine Turingmaschine und habe Schwierigkeiten dabei dieses "ungleich" hinzubekommen :/

Meine Ideen:
muss hier mit einer nicht-deterministischen TM gearbeitet werden ?
 
Auf diesen Beitrag antworten »
Karlito

Hallo 123,

zum Zählen würde ich ein Hilfsmittel verwenden. Lese ein a und ersetze es durch $, danach lese ein c und ersetze es durch $. Das machst Du so lange bis alle a oder alle c aufgebraucht sind. Sind a und c gleichzeitig aufgebraucht, wird die Sprache nicht akzeptiert, ansonsten schon.

Je nach dem, welche Anforderungen gelten, musst Du nach dem akzeptieren noch die $ jeweils durch a oder c ersetzen, um die Eingabe wieder herzustellen.

Ich hoffe das hilft.

Gruß,

Karlito
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »