Kodierung von Zeichen in enc(M)

[stefborg]

In Vorlesung 22, Folie 9 werden zwei verschiedene Arten verwendet, Zeichen zu kodieren. Oben wird zuerst $\sigma_n$ mit $bin(n)$ kodiert, also mittels eines Indexes in das Arbeitsalphabet. Aber ganz unten auf der Folie wird $a_i$ mit $bin(a_i)$ kodiert, also wird das Zeichen selbst als Zahl interpretiert. Das passt nicht ganz zusammen. Vielleicht könnte man stattdessen $enc(\sigma_n):=bin(n)$ definieren?

FormaleSysteme/Vorlesungen/lecture-22.tex

Line 129 in c205d61

\begin{frame}\frametitle{Schritt 1: Turingmaschinen kodieren}