Das Lehrbuch enthalt die wesentlichen Grundzuge der Theoretischen Informatik. Es gibt eine verstandliche Einfuhrung in die Gebiete Berechenbarkeits-, Automatentheorie, Formale Sprachen und Komplexitatstheorie. Alle Zusammenhange sind verstandlich bewiesen und durch Beispiele untermauert. Von praktischer Bedeutung sind Untersuchungen zur Existenz von nicht entscheidbaren und nicht effizient losbaren Problemen. Es erfolgt eine Einfuhrung in die Theorie der NP-Vollstandigkeit mit Beispielen. Eine Vielzahl von Ubungsaufgaben, samtlich mit ausfuhrlichen Losungen, die zum Selbsttest wie auch zur...