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