Turingmaschine a^i b^m c^k mit j ungleich m und j ungleich k |
123
Grünschnabel
Dabei seit: 09.08.2015
Beiträge: 1
|
|
Turingmaschine a^i b^m c^k mit j ungleich m und j ungleich k |
|
Meine Frage:
Hallo
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 ?
|
|
09.08.2015 11:40 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
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
|
|
09.08.2015 15:47 |
|
|
|