Eine Kurzzusammenfassung über die Module Formale Sprachen und Automatentheorie, Berechenbarkeit und Komplexität sowie Algorithmen und Diskrete Strukturen (Theoretische Informatik 1, 2 und 3) an der Universität Stuttgart, gehalten in WS 17/18 bis WiSe 18/19 von Prof. Dr. Ulrich Hertrampf.
Alle Inhalte sind nach bestem Wissen und Gewissen selbst erstellt, es können Fehler enthalten sein.
Abschnitte die inhaltlich zu Berechenbarkeit und Komplexität gehören können entweder noch komplett ausgelassen sein oder aber in einem deutlich unschönen Zustand sein. Diese werden in späteren Updates noch ausgebaut und verbessert.