Kodierung von Zeichen in enc(M)

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?

https://github.com/knowsys/FormaleSysteme/blob/c205d610c6eb87dd65e3db818c36c81e2dca093a/Vorlesungen/lecture-22.tex#L129

Open Vorlesungen/lecture-22.tex around line 129 and inspect slide 9, especially the two uses of enc(M), enc(σ_n), and enc(a_i). Determine whether the notation should consistently encode alphabet symbols by their work-alphabet indices, then update the slide so the definition and examples agree; compile the lecture materials to verify the rendered notation.

Written by the indexing model from the issue text.