Dieses Lehrbuch liefert eine verständliche, aber dennoch kompakte Einführung in die Theoretische Informatik. Die behandelten Themen bilden das Fundament für weiterführende Themen in der Theoretischen Informatik und sind zudem grundlegend für das formale Arbeiten in der gesamten Informatik. Durch eine Vielzahl von Aufgaben mit Lösungen eignet sich dieses Buch sehr gut zum Selbststudium.

Autorentext

André Schulz ist Professor fu r Theoretische Informatik an der FernUniversität in Hagen.

Inhalt
Einführung und formale Sprachen.- Reguläre Sprachen.- Kontextfreie Sprachen.- Entscheidbare und erkennbare Sprachen.- Unentscheidbare Probleme.- Komplexitätstheorie.