Die Vorlesung behandelt in erster Linie formale Sprachen (in der Anwendung sind dies z.B. Programmiersprachen) und zugehörige erkennende Automaten: Kellerautomaten sind die Grundlage von Compilern, endliche Automaten entsprechen einem einfachen Baustein eines Compilers zur lexikalischen Analyse, und Turingmaschinen sind Modelle von Rechner im allgemeinen.