Hi, kann mir mal jemand verraten, was |u2|=|v1| bedeutet? Soll nur die Länge der Wörter übereinstimmen oder sie tatsächlich identisch sein? Falls ja, dann handelt es sich doch bei 4.1 -jedenfalls teilweise- um DUP, quasi u2cv1. Lieg ich falsch?

Also wenn da Betragsstriche dransind, dann ists nur die Wortlänge die gelich sein muss.

O.k. danke. Wie muss/ kann ich überhaupt eine 2-Band TM bauen, die u1xu2cv1xv2 akzeptiert? Liest der eine LSK von u1 bis ein c kommt und der zweite von v1 bis nix mehr kommt? Versteh den Sinn und Zweck von zwei Köpfen nich. Kann ja eh alles durch eine TM dargestellt werden. Das Skript und die Folien geben da leider nich so viel her:-((