TM als LBA interpretieren

In VL 20 wird eine zuvor betrachtete TM als LBA interpretiert (lecture-20.tex, ab Zeile 376). Insbesondere gibt es einen Schritt „Akzeptiere, falls der Inhalt des Bandes die Form `\hat{a}^*\hat{b}^*\hat{c}^*` hat“. Auf diesem Abstraktionsniveau gilt das für beide Automatenmodelle. Auf der technischen Ebene der Übergangsfunktion funktioniert aber die Erkennung des Wortendes bei beiden Automatenmodellen jeweils unterschiedlich (die TM liest und läuft nach rechts bis zum Blank; der LBA liest, markiert, und läuft nach rechts, bis ein bereits markiertes Zeichen gelesen wird). Bei der Implementierung einer TM würde vermutlich das für den LBA benötigte Verhalten nicht per se mit umgesetzt. Einen Hinweis darauf und potenzielle Folgen fände ich an dieser Stelle hilfreich.

Open lecture-20.tex around line 376 and review the explanation of interpreting the previously considered Turing machine as an LBA. Add a note distinguishing how each model detects the end of the word and mention the potential implementation consequences; the documentation is done when this distinction is clear at that point.

Written by the indexing model from the issue text.