Kodierung von Zeichen in enc(M) #54

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?