Theoretische Informatik

Automatentheorie ist die Untersuchung abstrakter Maschinen und der Probleme, die sie lösen können.

Die Theorie der rechnerischen Komplexität untersucht die Ressourcen, die für die Lösung von Problemen durch Algorithmen benötigt werden.