Theoretische Informatik

Theoretische Informatik - klar, kompakt und praxisnah. Die theoretische Informatik besch ftigt sich mit den fundamentalen Fragen der Berechenbarkeit und der Struktur von Sprachen. Sie untersucht, welche Probleme algorithmisch l sbar sind, welche Modelle daf r ben tigt werden und welche Grenzen der Berechnung existieren. Dieses Buch f hrt Sie Schritt f r Schritt in die Grundlagen formaler Sprachen, der Berechenbarkeit und der Automatentheorie ein. Sie lernen die wichtigsten Modelle kennen - von endlichen Automaten ber Kellerautomaten und kontextfreie Grammatiken bis hin zur Turingmaschine. Dabei verstehen Sie nicht nur die formalen Konstruktionen, sondern auch die Beweistechniken, mit denen man Eigenschaften von Sprachen nachweist, und erkennen die Grenzen des Berechenbaren. Komplexe Konzepte wie das Pumping-Lemma, der Satz von Myhill-Nerode, Diagonalisierung oder der Satz von Rice werden klar und anschaulich erkl rt. Zahlreiche Grafiken, Beispiele und bungsaufgaben mit Musterl sungen veranschaulichen die Theorie und sichern den Lernerfolg. Die Kapitel sind modular aufgebaut und didaktisch durchdacht, sodass Sie gezielt ausw hlen oder Schritt f r Schritt lernen k nnen. Beweise werden vollst ndig dargestellt, w hrend Intuition und praktische Bedeutung betont werden. So erhalten Sie eine fundierte, gut lesbare Einf hrung in eines der zentralen Gebiete der Informatik - ideal f r Studierende, Lehrende und alle, die theoretische Informatik nicht nur verstehen, sondern auch anwenden m chten.