G.Heyer Digitale Informationsverarbeitung 1 15. Semantik, Übersetzen und Interpretieren, Verfikation Korrektheit von Programmen zentrale Frage der Informatik.