ISBN-13: 9783486257762 / Niemiecki / Twarda / 2001 / 351 str.
Der Autor bietet eine umfassende Einfuhrung sowohl in die Automatentheorie und die Formalen Sprachen als auch in die Berechenbarkeits- und Komplexitatstheorie sowie in die Algorithmik. Der Verzicht auf die ubliche Trennung der "klassischen" Theoretischen Informatik von der Algorithmik macht es moglich, Automatentheorie und Formale Sprachen anwendungsorientiert aus der Sicht des Ubersetzerbaus einzufuhren. Gelernte Methoden der Algorithmik werden angewendet, damit effiziente Algorithmen zur Losung von Aufgaben der lexikalischen Analyse und der Syntaxanalyse entwickelt werden konnen. Ebenso werden Algorithmen zur Losung von grundlegenden Problemen auf Graphen und auf Strings vorgestellt und eine Einfuhrung in die schnelle Fouriertransformation sowie in die lineare Programmierung gegeben.
Die Stoffauswahl erfolgte so, dass die Inhalte auch fur die Praxis relevant sind. Das Buch baut auf Vorlesungen des Autors im Grund- und Hauptstudium auf. Weiterfuhrende Hinweise zum Buch.