Automatentheorie und Logik

Das Buch beschftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wrtern sowie Bumen. Es behandelt klassische Resultate wie die Stze von Bchi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden lassen. Die einzelnen Kapitel sind in vier Teile zusammengefasst. Diese unterscheiden sich in den Strukturen, ber denen jeweils Automatentheorie und Logik betrieben wird. Der erste Teil behandelt endliche Wrter. Der Zweite die Theorie auf den Bereich der Bume auszudehnen. Der dritte Teil beschftigt sich kurz mit endlichen Bumen. Im vierten Teil geht es dann um Automatentheorie und Logik ber unendliche Bume. Jeder Teil endet mit Vorschlgen fr bungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterfhrende Literatur verweisen oder die Herkunft von prsentierten Resultaten erklren. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erwhnten Vorkenntnissen zur Theorie formaler Sprachen und zunchst ohne weitere Hilfsmittel durchgearbeitet werden kann.