For many students, theoretical computer science is a nightmare, since formal hurdles impede access to practical utility. This book seeks to provide the means for solving practical problems. It allows the student to grasp formal concepts such as logical necessity and mathematical oddities, thus making complex theories less daunting. The textbook offers an introduction to automata theory, grammars, computability, and complexity theory.

Prof. Schmeck, Institutsleiter KIT und Mitarbeiter