Theoretische Informatik

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 einzuf hren. Gelernte Methoden der Algorithmik werden angewendet, damit effiziente Algorithmen zur L sung von Aufgaben der lexikalischen Analyse und der Syntaxanalyse entwickelt werden k nnen. Ebenso werden Algorithmen zur L sung von grundlegenden Problemen auf Graphen und auf Strings vorgestellt und eine Einf hrung in die schnelle Fouriertransformation sowie in die lineare Programmierung gegeben. Die Stoffauswahl erfolgte so, dass die Inhalte auch f r die Praxis relevant sind. Das Buch baut auf Vorlesungen des Autors im Grund- und Hauptstudium auf. Weiterf hrende Hinweise zum Buch.