Listen-Unterkapitel vollständig überarbeitet, Maschinenmodell genauer eingeführt. Der Vorlesung angepasst.
