Hinter jeder Interaktion mit einem Computer liegt zumindest eine „formale Sprache“, egal, ob es sich dabei um klassische Programmierung oder zum Beispiel um eine Interaktion über eine graphische Schnittstelle handelt.

Die formalen Sprachen werden durch Übersetzerprogramme in eine maschinell ausführbare Form umgewandelt. Die Theorie der formalen Sprachen und deren Übersetzer gehören zu den ältesten und am besten ausgearbeiteten, klassischen Gebieten der Informatik. Die Kenntnis des Übersetzungsvorgangs vermittelt besonders wertvolle Erkenntnisse über die Informatik. Im Vortrag wird ein Einblick in die Theorie und Praxis von formalen Sprachen, von Compilern und von ähnlichen Übersetzerprogrammen geboten.