Theoretische Informatik - Eine anwendungsorientierte Einführung

Dieses Lehrbuch bietet eine umfassende Einführung sowohl in die Automatentheorie und Formalen Sprachen, Berechenbarkeits- und Komplexitätstheorie als auch in die Algorithmik. Der Verzicht auf die übliche Trennung der 'klassischen' Theoretischen Informatik und der Algorithmik macht es möglich, Automatentheorie und Formale Sprachen anwendungsorientiert aus der Sicht des Übersetzerbaus einzuführen.