|
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 ?
|
|