Theoretische Informatik

Quelle: www.bildung.hessen.de/abereich/inform/skii/

,,Die theoretische Informatik beschäftigt sich mit der Theorie formaler Sprachen bzw. Automatentheorie, Berechenbarkeits- und Komplexitätstheorie, Logik (u. a. Aussagenlogik und Prädikatenlogik), formaler Semantik und bietet Grundlagen für den Bau von Compilern von Programmiersprachen und die mathematische Formalisierung von Problemstellungen. Sie ist somit das formale Rückgrat der Informatik.
Quelle: http://de.wikipedia.org/wiki/Theoretische_Informatik

  Broschüre 1 (Automaten mit JFlap und Kara)

  Broschüre 2 (Automaten und Sprachen)

  Broschüre Turingmaschinen