Kodierung einer TM

Einfache Sprache

Def. Kodierung einer TM

$\langle\cdot\rangle$ steht für die Kodierung. Also z.B. $\langle \mathcal M\rangle$ für die Kodierung einer TM oder $\langle\mathcal A\rangle$ für die Kodierung eines Automaten. Wir nehmen an, dass die Elemente der kodierten Objekte entweder aus Wörtern über dem Alphabet $\{0,1\}$ oder geschachtelte Listen solcher Wörter sind. Bemerke, dass $\langle \mathcal M, w\rangle$ für $\langle[\mathcal M, w]\rangle$ steht.

#TODO hier fehlt ein Beispiel