"computer science"@en . "Informatik"@de . "automata theory"@en . "Automatentheorie"@de . "formal language"@en . "Formale Sprache"@de . "complexity theory"@en . "Komplexitätstheorie"@de . "computability theory"@en . "Berechenbarkeitstheorie"@de . . . "theoretical computer science"@en . "Theoretische Informatik"@de . . . . . . "Untersucht die mathematischen Methoden und Modelle, die sich hinter der Fassade der modernen Hardware- und Software-Technik verbergen. Wichtige Teilbereiche der theoretischen Informatik sind die Logik, die Theorie der formalen Sprachen, die Theorie der endlichen Automaten sowie die Berechenbarkeits- und die Komplexitätstheorie. (Hoffmann, Dirk W.: Theoretische Informatik. 2., aktualisierte Aufl. München : Hanser, 2011)"@de . . . . .