2. Vorlesung, Folie 3: Mehrband-Turingmaschine

Ich fände es sinnvoll, wenn man in der [3. Folie](https://iccl.inf.tu-dresden.de/w/images/c/c2/TheoLog2018-Vorlesung-02-overlay.pdf) mal eine Mehrband-Turingmaschine (als Beispiel) zeigen könnte, damit man weiß, wie das (formal / als "Automat") aufzuzeichnen ist. Ich selbst habe zwar Formale Systeme besucht (und auch bestanden), aber weiß auch nicht mehr, wie jetzt solch eine Mehrband-Turingmaschine auszusehen hat. In den auf FS verwiesenen Folien [Folie 18](https://iccl.inf.tu-dresden.de/w/images/2/22/FS2017-Vorlesung-18-overlay.pdf) und [Folie 19](https://iccl.inf.tu-dresden.de/w/images/d/d6/FS2017-Vorlesung-19-overlay.pdf) ist leider auch nirgends ein Beispiel dazu zu finden, weshalb man sich das nur schwer vorstellen kann. Am liebsten wäre mir persönlich sogar ein konkretes (einfaches) Problem, welches man dann anhand eines Beispiels mit Mehrband-Turingmaschinen löst.

Konkret beziehe ich mich auf diesen Absatz:
> "Wir ändern die Definition so, dass statt einem Band in jedem Schritt k>=2 Bänder gelesen und beschrieben werden. Jedes Band hat einen unabhängigen Lese-/Schreibkopf. Die Eingabe wird auf das erste Band geschrieben."

TL;DR:
Ich würde mir ein Beispiel mit aufgezeichneter Mehrband-Turingmaschine wünschen.

Review slide 3 of TheoLog2018-Vorlesung-02-overlay.pdf together with slides 18 and 19 of the referenced FS2017 materials. Decide how to present a simple, formally recorded multi-tape Turing machine and, if useful, a small worked problem. Done means the lecture material contains an understandable example addressing the quoted definition.

Written by the indexing model from the issue text.